Skip to Main content Skip to Navigation


hal-03068407v1  Conference papers
Luca GerettiJulien Alexandre Dit SandrettoMatthias AlthoffLuis BenetAlexandre Chapoutot et al.  ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
hal-02167586v1  Conference papers
Fabian ImmlerMatthias AlthoffLuis BenetAlexandre ChapoutotXin Chen et al.  ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
...
hal-03048155v1  Journal articles
Matthias AlthoffGoran FrehseAntoine Girard. Set Propagation Techniques for Reachability Analysis
Annual Review of Control, Robotics, and Autonomous Systems , Annual Reviews 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩