Informatik 6 - Professur für Cyber Physical Systems

TUINF15TUMonline:24673 2008-08-01 mediaTUM:670506

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Abate, A., Althoff, M., Bu, L., Ernst, G., Frehse, G., Geretti, L., Johnson, T. T., Menghi, C., Mitsch, S., Schupp, S. & Soudjani, S., 2025, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 1-37 37 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14550 LNCS).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J. & Wetzlinger, M., 2024, in: EPiC Series in Computing. 103, S. 39-63 25 S.
Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung

Open Access
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Althoff, M., Forets, M., Schilling, C. & Wetzlinger, M., 2024, in: EPiC Series in Computing. 103, S. 15-38 24 S.
Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung

Open Access

Organisationsprofil