Back
Falsification of hybrid systems using symbolic reachability and trajectory splicing
@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} }