Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Geretti, Luca; Sandretto, Julien Alexandre Dit; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark
- Titel:
- ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics
- Herausgeber:
- Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie
- Kongress- / Buchtitel:
- Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
- Band / Teilband / Volume:
- 90
- Verlag / Institution:
- EasyChair
- Jahr:
- 2022
- Seiten:
- 86--112
- Serientitel:
- EPiC Series in Computing
- Volltext / DOI:
- doi:10.29007fnzc
- WWW:
- httpseasychair.orgpublicationspaperJrQ4
BibTeX