Eugine Asarin

• Verification and Synthesis of Hybrid Systems