BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.

Lei Bu, You Li, Linzhang Wang, Xuandong Li

Browse the full FMCAD paper archive.