Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
CAV, 2019.
@inproceedings{CAV-2019-GaoKDRSAK,
author = "Sicun Gao and James Kapinski and Jyotirmoy V. Deshmukh and Nima Roohi and Armando Solar-Lezama and Nikos Aréchiga and Soonho Kong",
booktitle = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part II}",
doi = "10.1007/978-3-030-25543-5_9",
isbn = "['978-3-030-25542-8', '978-3-030-25543-5']",
pages = "137--154",
publisher = "{Springer}",
title = "{Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems}",
year = 2019,
}
Tags:
