Home

Akash__Deshpande


The DIADEM-KRONOS Connection: Bridging the Gap between Implementation and Verification of Hybrid Systems

The Shift programming language and run-time system for dynamic networks of hybrid automata