Login
- Title:
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, Matthias; Forets, Marcelo; Schilling, Christian; Wetzlinger, Mark
- Pages contribution:
- 15--10
- Book / Congress title:
- EPiC Series in Computing
- Publisher:
- EasyChair
- Year:
- 2024
- Fulltext / DOI:
- doi:10.29007/7xf3
BibTeX