Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.

Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan

Browse the full TACAS paper archive.