HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.

Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan

Browse the full TACAS paper archive.