CaltechAUTHORS
  A Caltech Library Service

Browse by Eprint ID

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Kress-Gazit, Hadas and Wongpiromsarn, Tichakorn and Topcu, Ufuk (2011) Correct, Reactive, High-Level Robot Control: Mitigating the State Explosion Problem of Temporal Logic Synthesis. IEEE Robotics and Automation Magazine, 18 (3). pp. 65-74. ISSN 1070-9932. http://resolver.caltech.edu/CaltechAUTHORS:20111005-111758088

This list was generated on Wed Oct 18 22:45:21 2017 PDT.