TY - RPRT TI - Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata AU - Kyoung-Dae Kim AU - Sayan Mitra AU - P. R. Kumar PY - 2012 UR - https://arxiv.org/abs/1205.3426 ID - 1205.3426 ER -