Hao Ren, Ratnesh Kumar 0001. Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. In Magnus Egerstedt, Yorai Wardi, editors, 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015. Volume 48 of IFAC-PapersOnLine, pages 21-26, Elsevier, 2015. [doi]
Abstract is missing.