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
|