Autonomous Learning
Conference Paper
2019
Falsification of hybrid systems using symbolic reachability and trajectory splicing
| 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 |
| Bibtex Type: | Conference Paper (inproceedings) |
| DOI: | 10.1145/3302504.3311813 |
| Event Name: | International Conference on Hybrid Systems: Computation and Control (HSCC ’19) |
| Event Place: | Montreal, Canada |
| State: | Published |
| Electronic Archiving: | grant_archive |
| Attachments: | |
BibTex
@inproceedings{BogomolovEtal2019:Falsification,
title = {Falsification of hybrid systems using symbolic reachability and trajectory splicing},
booktitle = {Proceedings International Conference on Hybrid Systems: Computation and Control (HSCC '19)},
pages = {1-10},
publisher = {ACM},
month = apr,
year = {2019},
slug = {bogomolovetal2019-falsification},
author = {Bogomolov, Sergiy and Frehse, Goran and Gurung, Amit and Li, Dongxu and Martius, Georg and Ray, Rajarshi},
month_numeric = {4}
}