Synthesis of Control Protocols for Autonomous Systems
Temporal and Modal Logic