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

Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David Sanders; Christian Schilling

doi:10.29007/zkf6

Conference papers

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

Luca Geretti ¹ Julien Alexandre Dit Sandretto ² Matthias Althoff ³ Luis Benet ⁴ Alexandre Chapoutot ² Xin Chen ⁵ Pieter Collins ⁶ Marcelo Forets ⁷ Daniel Freire ⁷ Fabian Immler ⁸ Niklas Kochdumper ³ David Sanders ^{4, 9} Christian Schilling ¹⁰

1 UNIVR | DI - Department of Computer Science [Verona]

2 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes

3 TUM - Technische Universität München [München]

4 UNAM - Instituto de Matematicas

5 University of Dayton

6 Department of data science and Knowledge Engineering [Maastricht]

7 UDELAR - Universidad de la República

8 Computer Science Department - Carnegie Mellon University

9 Department of Mathematics, Massachusetts Institute of Technology, Cambridge MA 02139, United States

10 IST Austria - Institute of Science and Technology [Austria]

Document type :

Conference papers

Domain :

Computer Science [cs] / Modeling and Simulation

Computer Science [cs] / Data Structures and Algorithms [cs.DS]

Complete list of metadata

https://hal-ensta-paris.archives-ouvertes.fr//hal-03068407
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, December 15, 2020 - 4:08:22 PM
Last modification on : Tuesday, May 25, 2021 - 11:44:01 AM

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

Links full text

Identifiers

Collections

Citation

Export

Metrics

21

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

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

21