Eugine Asarin

Verification and Synthesis of Hybrid Systems