ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Luca Geretti
(1)
,
Julien Alexandre Dit Sandretto
(2)
,
Matthias Althoff
(3)
,
Luis Benet
(4)
,
Alexandre Chapoutot
(2)
,
Xin Chen
(5)
,
Pieter Collins
(6)
,
Marcelo Forets
(7)
,
Daniel Freire
(7)
,
Fabian Immler
(8)
,
Niklas Kochdumper
(3)
,
David Sanders
(4, 9)
,
Christian Schilling
(10)
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 Munchen - Technical University Munich - Université Technique de Munich
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 [Montevideo]
8 Computer Science Department - Carnegie Mellon University
9 MIT - Massachusetts Institute of Technology
10 IST Austria - Institute of Science and Technology [Klosterneuburg, Austria]
2 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes
3 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich
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 [Montevideo]
8 Computer Science Department - Carnegie Mellon University
9 MIT - Massachusetts Institute of Technology
10 IST Austria - Institute of Science and Technology [Klosterneuburg, Austria]
Julien Alexandre Dit Sandretto
- Function : Author
- PersonId : 8296
- IdHAL : julien-alexandre-dit-sandretto
- IdRef : 175698929
Alexandre Chapoutot
- Function : Author
- PersonId : 3322
- IdHAL : alexandre-chapoutot
- ORCID : 0000-0002-7230-0710
- IdRef : 198059833
David Sanders
- Function : Author
- PersonId : 783221
- ORCID : 0000-0002-1835-6895