Rigorous Simulation-Based Analysis of Linear Hybrid Systems.

Stanley Bak, Parasara Sridhar Duggirala

Browse the full TACAS paper archive.