Keyword:safety verification

Publications
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
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing Maximilian Gaukler and Peter Ulbrich In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verifying safety of an autonomous spacecraft rendezvous mission Nicole Chan and Sayan Mitra In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems