%0 Conference Paper %1 conf/hybrid/BogomolovFGLM019 %A Bogomolov, Sergiy %A Frehse, Goran %A Gurung, Amit %A Li, Dongxu %A Martius, Georg %A Ray, Rajarshi %B HSCC %D 2019 %E Ozay, Necmiye %E Prabhakar, Pavithra %I ACM %K dblp %P 1-10 %T Falsification of hybrid systems using symbolic reachability and trajectory splicing. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFGLM019 %@ 978-1-4503-6282-5

@inproceedings{conf/hybrid/BogomolovFGLM019, added-at = {2020-12-29T00:00:00.000+0100}, author = {Bogomolov, Sergiy and Frehse, Goran and Gurung, Amit and Li, Dongxu and Martius, Georg and Ray, Rajarshi}, biburl = {https://www.bibsonomy.org/bibtex/288a29dc6aabfdabdd4ae321a7ac68360/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2019}, editor = {Ozay, Necmiye and Prabhakar, Pavithra}, ee = {https://doi.org/10.1145/3302504.3311813}, interhash = {cefeea8bee3ab5c3bb42dcb21c945c41}, intrahash = {88a29dc6aabfdabdd4ae321a7ac68360}, isbn = {978-1-4503-6282-5}, keywords = {dblp}, pages = {1-10}, publisher = {ACM}, timestamp = {2024-04-10T10:15:44.000+0200}, title = {Falsification of hybrid systems using symbolic reachability and trajectory splicing.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFGLM019}, year = 2019 }