Back to Results
First PageMeta Content
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 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-rob
Add to Reading List

Document Date: 2018-02-08 16:28:11


Open Document

File Size: 372,09 KB

Share Result on Facebook