![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 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](https://www.pdfsearch.io/img/82339b79d73eab4f77f6066a4c761d4f.jpg) Date: 2018-02-27 19:23:46Temporal 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 unceAdd to Reading ListSource URL: www.public.asu.eduDownload Document from Source Website File Size: 392,54 KBShare Document on Facebook
|