Andreas Rauh, Julia Kersten, Harald Aschemann. Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems. In 24th International Conference on Methods and Models in Automation and Robotics, MMAR 2019, Międzyzdroje, Poland, August 26-29, 2019. pages 18-23, IEEE, 2019. [doi]
@inproceedings{RauhKA19,
title = {Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems},
author = {Andreas Rauh and Julia Kersten and Harald Aschemann},
year = {2019},
doi = {10.1109/MMAR.2019.8864648},
url = {https://doi.org/10.1109/MMAR.2019.8864648},
researchr = {https://researchr.org/publication/RauhKA19},
cites = {0},
citedby = {0},
pages = {18-23},
booktitle = {24th International Conference on Methods and Models in Automation and Robotics, MMAR 2019, Międzyzdroje, Poland, August 26-29, 2019},
publisher = {IEEE},
isbn = {978-1-7281-0933-6},
}