ARCH COMP 25
Hybrid Systems Theorem Proving
Stefan Mitsch, Ismail Patel, Hari Hara Sudhan Kannan, Xiangyu Jin, Bohua Zhan, and Shuling Wang
Continuous and Hybrid Systems with Nonlinear Dynamics
Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Ismail Patel, Maximilian Perschl, Christian Schilling, and Joris Tillet