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: International Conference on Hybrid Systems: Computation and Control
Pages: 1--10
Year: 2019
Series: HSCC'19
Publisher: ACM

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

DOI: 10.1145/3302504.3311813

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 = {International Conference on Hybrid Systems: Computation and Control},
  pages = {1--10},
  series = {HSCC'19},
  publisher = {ACM},
  year = {2019}
}