@other{https://resolver.caltech.edu/CaltechTHESIS:05292014-063852576,
    title = "Formal Methods for Control Synthesis in Partially Observed Environments: Application to Autonomous Robotic Manipulation",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05292014-063852576",
    id = "record",
    doi = "10.7907/RQKC-N871"
}