Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson. Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. In Clark Barrett, Misty Davies, Temesghen Kahsai, editors, NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Volume 10227 of Lecture Notes in Computer Science, pages 194-211, 2017. [doi]
@inproceedings{SogokonJJ17,
title = {Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants},
author = {Andrew Sogokon and Paul B. Jackson and Taylor T. Johnson},
year = {2017},
doi = {10.1007/978-3-319-57288-8_14},
url = {http://dx.doi.org/10.1007/978-3-319-57288-8_14},
researchr = {https://researchr.org/publication/SogokonJJ17},
cites = {0},
citedby = {0},
pages = {194-211},
booktitle = {NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings},
editor = {Clark Barrett and Misty Davies and Temesghen Kahsai},
volume = {10227},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-57288-8},
}