Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
- Titel:
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- Seitenangaben Beitrag:
- 49-75
- Stichworte:
- justITSELF
- Kongress- / Buchtitel:
- Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
- Verlag / Institution:
- EasyChair
- Jahr:
- 2020
- Volltext / DOI:
- doi:10.29007/zkf6
BibTeX