@inproceedings{BogomolovEtal2019:Falsification, title = {Falsification of hybrid systems using symbolic reachability and trajectory splicing}, author = {Bogomolov, Sergiy and Frehse, Goran and Gurung, Amit and Li, Dongxu and Martius, Georg and Ray, Rajarshi}, booktitle = {Proceedings International Conference on Hybrid Systems: Computation and Control (HSCC '19)}, pages = {1-10}, publisher = {ACM}, month = apr, year = {2019}, doi = {10.1145/3302504.3311813}, month_numeric = {4} }