Synthesis of Control Protocols for Autonomous Systems
Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents