Verification of Bounded Discrete Horizon Hybrid Automata. - Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir E. (IEEE Trans. Autom. Control., 2012)