Forward and backward: Bounded model checking of linear hybrid automata from two directions.

Yang Yang, Lei Bu, Xuandong Li

Browse the full FMCAD paper archive.