Sharan, Rangoli

Combined from CaltechTHESIS

• Sharan, Rangoli (2014) Formal Methods for Control Synthesis in Partially Observed Environments: Application to Autonomous Robotic Manipulation; 10.7907/RQKC-N871