Header logo is

Falsification of hybrid systems using symbolic reachability and trajectory splicing

2019

Conference Paper

al


Author(s): Sergiy Bogomolov and Goran Frehse and Amit Gurung and Dongxu Li and Georg Martius and Rajarshi Ray
Book Title: Proceedings International Conference on Hybrid Systems: Computation and Control (HSCC ’19)
Pages: 1-10
Year: 2019
Month: April
Day: 16-18
Publisher: ACM

Department(s): Autonomous Learning
Bibtex Type: Conference Paper (inproceedings)
Paper Type: Conference

DOI: 10.1145/3302504.3311813
Event Name: International Conference on Hybrid Systems: Computation and Control (HSCC ’19)
Event Place: Montreal, Canada

State: Published

BibTex

@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},
  month_numeric = {4}
}