Keyword:continuous systems

Publications
ARCH-COMP24 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, Christian Schilling, Joris Tillet and Mark Wetzlinger In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling and Mark Wetzlinger In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP17 Repeatability Evaluation Report Taylor T. Johnson In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Direct Verification of Linear Systems with over 10000 Dimensions Stanley Bak and Parasara Sridhar Duggirala In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Non-linear Continuous Systems for Safety Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems Fabian Immler In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems