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
|