BACH 2 : Bounded reachability checker for compositional linear hybrid systems.

Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li

Browse the full DATE paper archive.