Andrew Sogokon, Paul B. Jackson
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
FM, 2015.
@inproceedings{FM-2015-SogokonJ, author = "Andrew Sogokon and Paul B. Jackson", booktitle = "{Proceedings of the 20th International Symposium of Formal Methods}", doi = "10.1007/978-3-319-19249-9_32", isbn = "978-3-319-19248-2", pages = "514--531", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems}", volume = 9109, year = 2015, }