Login
- Titel:
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, Matthias; Forets, Marcelo; Perschl, Maximilian; Schilling, Christian
- Herausgeber:
- Frehse, Goran; Althoff, Matthias
- Kongress- / Buchtitel:
- Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
- Band / Teilband / Volume:
- 108
- Verlag / Institution:
- EasyChair
- Jahr:
- 2025
- Seiten:
- 15-38
- Serientitel:
- EPiC Series in Computing
- Volltext / DOI:
- doi:10.29007/z3g7
- WWW:
- /publications/paper/jvwP
BibTeX