1. Abbas, H., & Fainekos, G. E. (2011). Linear hybrid system falsification through local search. In Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011), Taipei, Taiwan, October 11–14, 2011 (pp. 503–510).
https://doi.org/10.1007/978-3-642-24372-1_39
.
2. Althoff, M., & Grebenyuk, D. (2016). Implementation of interval arithmetic in CORA 2016. In ARCH Workshop (pp. 91–105). Manchester: EasyChair.
3. Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. H. (1993). Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, & H. Rischel (Eds.), Hybrid systems. Lecture notes in computer science (Vol. 736, pp. 209–229). Berlin: Springer.
4. Angeli, D. (2002). A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control, 47(3), 410–421.
5. Annapureddy, Y., Liu, C., Fainekos, G., & Sankaranarayanan, S. (2011). S-TaLiRo: a tool for temporal logic falsification for hybrid systems. In TACAS. Berlin: Springer.