Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

ARCH23: Volume Information

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)

Editors: Goran Frehse and Matthias Althoff

EPiC Series in Computing•Volume 96

9 articles•195 pages•Published: October 18, 2023

Papers

Contributed Papers

Closed-Loop ACAS Xu Neural Network Verification

Sanaz Sheikhi and Stanley Bak

1-8

Checking and Establishing Reachset Conformance in CORA 2023

Matthias Althoff

9-33

ARCH-COMP23 Reports

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger and Daniel Zhuang

34-60

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

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 and Daniel Zhuang

61-88

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T Johnson, Tobias Ladner and Christian Schilling

89-125

ARCH-COMP23 Category Report: Stochastic Models

Alessandro Abate, Henk 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 and Paolo Zuliani

126-150

ARCH-COMP23 Category Report: Falsification

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 and Zhenya Zhang

151-169

ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster and Jonathan Julian Huerta Y Munive

170-188

ARCH-COMP23 Repeatability Evaluation Report

Taylor T Johnson

189-195

Keyphrases

ACAS Xu, ARCH-COMP, Artifact Evaluation, autonomous systems, Benchmarking², conformance checking, Conformance synthesis, continuous systems, control synthesis, CORA², Cyber-Physical Systems, differential dynamic logic, dynamical systems, evaluation, falsification, formal methods², formal verification², Friendly Competition, Hybrid Hoare Logic, hybrid systems⁴, JuliaReach, linear continuous dynamics, Markov chains, Markov Decision Processes, Neural Network Control Systems, Neural Network Verification, neural networks, nonlinear dynamics, nonlinear systems, reachability analysis², Reachset conformance, Repeatability Evaluation, Set containment, stochastic models, test case, theorem proving, verification⁴, verse.