Synthesis of Control Protocols for Autonomous Systems
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle