Author:Maximilian Perschl

Publications
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Alessandro Carraro, Marcelo Forets, Maximilian Perschl and Christian Schilling In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Maximilian Perschl, Christian Schilling, Joris Tillet and Ben Wooding In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Marcelo Forets, Maximilian Perschl and Christian Schilling In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Category Report: 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 In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems