![Temporal logic / Algebraic structures / Mathematics / Logic / Metaphysics / Linear temporal logic / Logic in computer science / Computation tree logic / Non-classical logic / Model checking / Many-valued logic / Lattice Temporal logic / Algebraic structures / Mathematics / Logic / Metaphysics / Linear temporal logic / Logic in computer science / Computation tree logic / Non-classical logic / Model checking / Many-valued logic / Lattice](https://www.pdfsearch.io/img/9d06037f7ef012eefed05bcaa8a013f0.jpg) Date: 2018-02-08 16:28:11Temporal logic Algebraic structures Mathematics Logic Metaphysics Linear temporal logic Logic in computer science Computation tree logic Non-classical logic Model checking Many-valued logic Lattice | | Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-robAdd to Reading ListSource URL: www.public.asu.eduDownload Document from Source Website File Size: 372,09 KBShare Document on Facebook
|