ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Fabian Immler
(1)
,
Matthias Althoff
(2)
,
Luis Benet
(3)
,
Alexandre Chapoutot
(4)
,
Xin Chen
(5)
,
Marcelo Forets
(6)
,
Luca Geretti
(7)
,
Niklas Kochdumper
(2)
,
David Sanders
(3)
,
Christian Schilling
(8)
1
Computer Science Department - Carnegie Mellon University
2 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich
3 UNAM - Universidad Nacional Autónoma de México = National Autonomous University of Mexico
4 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes
5 University of Dayton
6 University of the Republic of Uruguay
7 UNIVR - Università degli studi di Verona = University of Verona
8 IST Austria - Institute of Science and Technology [Klosterneuburg, Austria]
2 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich
3 UNAM - Universidad Nacional Autónoma de México = National Autonomous University of Mexico
4 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes
5 University of Dayton
6 University of the Republic of Uruguay
7 UNIVR - Università degli studi di Verona = University of Verona
8 IST Austria - Institute of Science and Technology [Klosterneuburg, Austria]
Alexandre Chapoutot
- Fonction : Auteur
- PersonId : 3322
- IdHAL : alexandre-chapoutot
- ORCID : 0000-0002-7230-0710
- IdRef : 198059833
Luca Geretti
- Fonction : Auteur
- PersonId : 1026243
David Sanders
- Fonction : Auteur
- PersonId : 783221
- ORCID : 0000-0002-1835-6895