ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics

Document type:: Konferenzbeitrag
Author(s):: Geretti, Luca; Sandretto, Julien Alexandre Dit; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark
Title:: ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics
Editor:: Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie
Book / Congress title:: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Volume:: 90
Publisher:: EasyChair
Year:: 2022
Pages:: 86--112
Bookseries title:: EPiC Series in Computing
Fulltext / DOI:: doi:10.29007fnzc
WWW:: httpseasychair.orgpublicationspaperJrQ4
BibTeX

Occurrences: