Author:
Kong Hui,Bartocci Ezio,Jiang Yu,Henzinger Thomas A.
Publisher
Springer International Publishing
Reference45 articles.
1. Althoff, M., Grebenyuk, D.: Implementation of interval arithmetic in CORA 2016. In: Proceedings of ARCH. EPiC Series in Computing, vol. 43, pp. 91–105. EasyChair (2017)
2. Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Inform. 43(7), 451–476 (2007)
3. Ben Sassi, M.A., Sankaranarayanan, S., Chen, X., Ábrahám, E.: Linear relaxations of polynomial positivity for polynomial lyapunovfunction synthesis. IMA J. Math. Control. Inf. 33(3), 723–756 (2015)
4. Berz, M., Makino, K.: Verified integration of odes and flows using differential algebraic methods on high-order taylor models. Reliab. Comput. 4(4), 361–369 (1998)
5. Lecture Notes in Computer Science;S Bogomolov,2015