M. Du, N. Liu, and X. Hu. Techniques for interpretable machine learning. Commun. ACM, 63(1): 68-77, 2020. URL https://doi.org/10.1145/3359786.
S. Dutta, X. Chen, and S. Sankaranarayanan. Reachability analysis for neural feedback systems using regressive polynomial rule inference. In HSCC, pages 157-168. ACM, 2019. URL https://doi.org/10.1145/3302504.3311807.
A. B. Eriksen, C. Huang, J. Kildebogaard, H. Lahrmann, K. G. Larsen, M. Muniz, and J. H. Taankvist. Uppaal Stratego for intelligent traffic lights. In ITS European Congress, 2017.
J. Fan, C. Huang, X. Chen, W. Li, and Q. Zhu. ReachNN*: A tool for reachability analysis of neural-network controlled systems. In ATVA, volume 12302 of LNCS, pages 537-542. Springer, 2020. URL https://doi.org/10.1007/978-3-030-59152-6_30.
M. Forets and C. Schilling. LazySets.jl: Scalable symbolic-numeric set computations. Proceedings of the JuliaCon Conferences, 1(1):11, 2021. URL https://doi.org/10.21105/jcon.00097.
M. Forets, D. Freire, and C. Schilling. Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. In MEMOCODE, pages 137-142. IEEE, 2020. URL https://doi.org/10.1109/MEMOCODE51338.2020.9314994.
M. Fränzle and C. Herde. Hysat: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods Syst. Des., 30(3):179-198, 2007. URL https://doi.org/10.1007/s10703-006-0031-0.
M. Fränzle, C. Herde, T. Teige, S. Ratschan, and T. Schubert. Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. J. Satisf. Boolean Model. Comput., 1(3-4):209-236, 2007. URL https://doi.org/10.3233/sat190012.
M. Giacobbe. Automatic time-unbounded reachability analysis of hybrid systems. PhD thesis, IST Austria, 2019.
E. Hainry. Reachability in linear dynamical systems. In CiE, volume 5028 of LNCS, pages 241-250. Springer, 2008. URL https://doi.org/10.1007/978-3-540-69407-6_28.
T. A. Henzinger. The theory of hybrid automata. In LICS, pages 278-292. IEEE Computer Society, 1996. URL https://doi.org/10.1109/LICS.1996.561342.
H. Hyötniemi. Turing machines are recurrent neural networks. Proceedings of step, 96, 1996.
R. Ivanov, J. Weimer, R. Alur, G. J. Pappas, and I. Lee. Verisig: verifying safety properties of hybrid systems with neural network controllers. In HSCC, pages 169-178. ACM, 2019. URL https://doi.org/10.1145/3302504.3311806.
R. Ivanov, T. J. Carpenter, J. Weimer, R. Alur, G. J. Pappas, and I. Lee. Verisig 2.0: Verification of neural network controllers using Taylor model preconditioning. In CAV, volume 12759 of LNCS, pages 249-262. Springer, 2021. URL https://doi.org/10.1007/978-3-030-81685-8_11.
N. Kochdumper and M. Althoff. Constrained polynomial zonotopes. Acta Informatica, 2023. URL https://doi.org/10.1007/s00236-023-00437-5.
N. Kochdumper, C. Schilling, M. Althoff, and S. Bak. Open- and closed-loop neural network verification using polynomial zonotopes. In NFM, volume 13903 of LNCS, pages 16-36. Springer, 2023. URL https://doi.org/10.1007/978-3-031-33170-1_2.
K. G. Larsen, M. Mikucionis, M. Muñiz, J. Srba, and J. H. Taankvist. Online and compositional learning of controllers with application to floor heating. In TACAS, volume 9636 of LNCS, pages 244-259. Springer, 2016. URL https://doi.org/10.1007/978-3-662-49674-9_14.
D. M. Lopez, M. Althoff, L. Benet, X. Chen, J. Fan, M. Forets, C. Huang, T. T. Johnson, T. Ladner, W. Li, C. Schilling, and Q. Zhu. ARCH-COMP22 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants. In ARCH, volume 90 of EPiC Series in Computing, pages 142-184. EasyChair, 2022. URL https://doi.org/10.29007/wfgr.