Publisher
Springer Nature Switzerland
Reference61 articles.
1. Abate, A., Edwards, A., Giacobbe, M.: Neural abstractions. In: Thirty-Sixth Conference on Neural Information Processing Systems (2022)
2. Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: HSCC, pp. 173–182. ACM (2013)
3. Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: CDC, pp. 4042–4048. IEEE (2008)
4. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3–34 (1995)
5. Alur, R., Henzinger, T., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Trans. Software Eng. 22(3), 181–201 (1996)