Back to Results
First PageMeta Content
Temporal logic / Algebraic structures / Mathematics / Mathematical logic / Theoretical computer science / Linear temporal logic / Logic in computer science / Computation tree logic / MVS / Boolean domain / Boolean algebra / Finite-state machine


Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce
Add to Reading List

Document Date: 2018-02-27 19:23:46


Open Document

File Size: 392,54 KB

Share Result on Facebook