 |
 |
Conference papers
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
Luca Geretti 1
Author
Julien Alexandre Dit Sandretto 2
Author
Employer institution: École Nationale Supérieure de Techniques AvancéesIdHAL : julien-alexandre-dit-sandrettoIdRef : 175698929
Matthias Althoff 3
Author
Luis Benet 4
Author
Alexandre Chapoutot 2
Author
Employer institution: École Nationale Supérieure de Techniques AvancéesIdHAL : alexandre-chapoutotORCID : 0000-0002-7230-0710IdRef : 198059833
Xin Chen 5
Author
Pieter Collins 6
Author
Marcelo Forets 7
Author
Daniel Freire 7
Author
Fabian Immler 8
Author
Niklas Kochdumper 3
Author
David Sanders 4, 9
Author
ORCID : 0000-0002-1835-6895
Christian Schilling 10
Author
1
UNIVR | DI - Department of Computer Science [Verona] (University of Verona, Strada le Grazie 15 - 37134 Verona - Italy)
- UNIVR - Università degli studi di Verona = University of Verona (Università degli Studi di Verona, Via dell'Artigliere, 8 - 37129, Verona - Italy)
2
U2IS - Unité d'Informatique et d'Ingénierie des Systèmes (828, boulevard des Maréchaux, 91762 Palaiseau CEDEX - France)
- ENSTA Paris - École Nationale Supérieure de Techniques Avancées (828, boulevard des Maréchaux 91762 Palaiseau Cedex - France)
3
TUM - Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (Arcisstrasse 21, D- 80333 München - Germany)
4
UNAM - Instituto de Matematicas (Instituto de Matematicas UNAM, Campus Morelia Morelia, Michoacán, México Apartado Postal 61-3(Xangari) C.P. 58089 - Mexico)
- UNAM - Universidad Nacional Autónoma de México = National Autonomous University of Mexico ( Av. Universidad 3004, Col, Copilco Universidad, Coyoacán, 04510 Ciudad de México, - Mexico)
5
University of Dayton (300 College Park, Dayton, Ohio, OH 45469 - United States)
6
Department of data science and Knowledge Engineering [Maastricht] (Minderbroedersberg 4-6
6211 LK Maastricht
- Netherlands)
- Maastricht University [Maastricht] (Universiteitssingel 40;6200 MD Maastricht - Netherlands)
8
Computer Science Department - Carnegie Mellon University (Computer Science Department Carnegie Mellon University Pittsburgh, PA - United States)
- PITT - University of Pittsburgh (4200 Fifth Avenue Pittsburgh, PA 15260 - United States)
- Pennsylvania Commonwealth System of Higher Education (PCSHE) (United States)
9
Department of Mathematics, Massachusetts Institute of Technology, Cambridge MA 02139, United States (United States)
10
IST Austria - Institute of Science and Technology [Austria] - IST Austria (IST Austria Am Campus 1 3400 Klosterneuburg Austria - Austria)
Document type :
Conference papers
Complete list of metadata
https://hal-ensta-paris.archives-ouvertes.fr/hal-03068407
Contributor : Alexandre Chapoutot Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2020 - 4:08:22 PM
Last modification on : Monday, October 3, 2022 - 4:26:04 PM
Contributor : Alexandre Chapoutot Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2020 - 4:08:22 PM
Last modification on : Monday, October 3, 2022 - 4:26:04 PM
Links full text
Identifiers
- HAL Id : hal-03068407, version 1
- DOI : 10.29007/zkf6
Collections
ENSTA | ENSTA_U2IS | TDS-MACS | IP_PARIS
Citation
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre 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-03068407⟩
Metrics
Record views