ARCH

Publications

2023

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. ARCH (2023)
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Sanaz Sheikhi, Stanley Bak
Closed-Loop ACAS Xu Neural Network Verification. ARCH (2023)
Taylor T. Johnson
ARCH-COMP23 Repeatability Evaluation Report. ARCH (2023)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2023)
Matthias Althoff
Checking and Establishing Reachset Conformance in CORA 2023. ARCH (2023)

volume 96, 2023

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023. ARCH 96 (2023)

2020

volume 74, 2020

ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020 ARCH 74 (2020)