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
