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}
}
|
|
