Search - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly

Filter your results

4 Results
authFullName_s : Matthias Althoff

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Julien Alexandre Dit Sandretto , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux et al.
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Conference papers hal-03587676v1

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Luca Geretti , Julien Alexandre Dit Sandretto , Matthias Althoff , Luis Benet , Alexandre Chapoutot et al.
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
Conference papers hal-03068407v1

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Fabian Immler , Matthias Althoff , Luis Benet , Alexandre Chapoutot , Xin Chen et al.
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
Conference papers hal-02167586v1
Image document

Set Propagation Techniques for Reachability Analysis

Matthias Althoff , Goran Frehse , Antoine Girard
Annual Review of Control, Robotics, and Autonomous Systems , 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
Journal articles hal-03048155v1