Title: Verification and Synthesis of Hybrid Systems
Subjects: Hybrid computers