Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray 0001. Falsification of hybrid systems using symbolic reachability and trajectory splicing. In Necmiye Ozay, Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pages 1-10, ACM, 2019. [doi]