 |
 |
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
Matthias Althoff 3
Author
Luis Benet 4
Author
Alexandre Chapoutot 2
Author IdHAL : alexandre-chapoutot ORCID : https://orcid.org/0000-0002-7230-0710
Xin Chen 5
Author
Pieter Collins 6
Author
Marcelo Forets 7
Author
Christian Schilling 10
Author
1
UNIVR | DI - Department of Computer Science [Verona] (University of Verona, Strada le Grazie 15 - 37134 Verona - Italy)
- UNIVR - 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 München [München] (Arcisstraße 21, 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)
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)
7
UDELAR - Universidad de la República (Uruguay)
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 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 : Tuesday, October 19, 2021 - 12:50:58 PM
Contributor : Alexandre Chapoutot Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2020 - 4:08:22 PM
Last modification on : Tuesday, October 19, 2021 - 12:50:58 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