Intelligent Systems
Note: This research group has relocated.

Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

2021

Article

al


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

Department(s): Autonomous Learning
Bibtex Type: Article (article)
Paper Type: Journal

Digital: True
DOI: 10.1016/j.nahs.2021.101093
ISBN: 1751-570X
State: Published
URL: https://www.sciencedirect.com/science/article/abs/pii/S1751570X21000832

BibTex

@article{bogomolovEtAl2021:falsification-traj-opt,
  title = {Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing},
  author = {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},
  publisher = {Elsevier},
  month = nov,
  year = {2021},
  doi = {10.1016/j.nahs.2021.101093},
  url = {https://www.sciencedirect.com/science/article/abs/pii/S1751570X21000832},
  month_numeric = {11}
}