User: Guest  Login
Title:

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Document type:
Konferenzbeitrag
Author(s):
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
Pages contribution:
49-75
Keywords:
justITSELF
Book / Congress title:
Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
Publisher:
EasyChair
Year:
2020
Fulltext / DOI:
doi:10.29007/zkf6
 BibTeX