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