Sharan, Rangoli (2014) Formal Methods for Control Synthesis in Partially Observed Environments: Application to Autonomous Robotic Manipulation (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/RQKC-N871