Browse by Eprint ID
Number of items: 1. Livingston, Scott Carlton (2016) Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z94Q7RW3. https://resolver.caltech.edu/CaltechTHESIS:12312015-131513787 |