Institute Homepage
Institute Homepage EN Sign In

Back

Autonomous Learning Article 2021

Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

Thumb ticker sm georg 2018 crop small
Empirische Inferenz, Autonomous Learning
Georg Martius
Senior Research Scientist

Author(s): Bogomolov, Bogomolov Sergiy and Frehse, Goran and Gurung, Amit and Li, Dongxu and Martius, Georg and Ray, Rajarshi
Journal: Nonlinear Analysis: Hybrid Systems
Volume: 42
Pages: 101093
Year: 2021
Month: November
Publisher: Elsevier
Bibtex Type: Article (article)
DOI: 10.1016/j.nahs.2021.101093
State: Published
URL: https://www.sciencedirect.com/science/article/abs/pii/S1751570X21000832
Digital: True
Electronic Archiving: grant_archive
ISBN: 1751-570X

BibTex 

@article{bogomolovEtAl2021:falsification-traj-opt,
  title = {Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing},
  journal = {Nonlinear Analysis: Hybrid Systems},
  volume = {42},
  pages = {101093},
  publisher = {Elsevier},
  month = nov,
  year = {2021},
  slug = {gmartius_2021_cd},
  author = {Bogomolov, Bogomolov Sergiy and Frehse, Goran and Gurung, Amit and Li, Dongxu and Martius, Georg and Ray, Rajarshi},
  url = {https://www.sciencedirect.com/science/article/abs/pii/S1751570X21000832},
  month_numeric = {11}
}