ARCH23: Editor's Preface

It is with a heavy heart and deep respect that we dedicate this edition of the ARCH Workshop proceedings to the memory of our esteemed colleague, Dr. Sergiy Bogomolov. Sergiy's academic journey, from his thesis at the University of Freiburg to his contributions at the Australian National University and Newcastle University, stands as a testament to his unwavering commitment and passion for the field of cyber-physical systems. His body of work, spanning over 40 publications and numerous accolades, has positively influenced areas from autonomous systems to systems biology.

One of Sergiy's lasting legacies was his commitment to collaboration. He initiated the International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, where he also served on the steering committee and was the publicity chair of the ARCH Workshop. Beyond academia, Sergiy was a caring family man, a mentor, and a collaborator. Our thoughts are with his family during this difficult time, especially his wife and young family.

As we present the proceedings of this workshop, we hope to carry forward the spirit of inquiry and collaboration Sergiy embodied.

− − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − 

This volume contains the papers presented at ARCH23: 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) held on May 9, 2023 in San Antonio, Texas.

This volume contains the papers presented at the 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), as well as the results of the 7th edition of ARCH-COMP, a competition for the formal verification of continuous and hybrid systems. The workshop was held on May 9, 2023, as part of the Cyber-Physical Systems and Internet-of-Things Week in San Antonio, Texas, USA. Previous editions of the ARCH workshop series were held in 2014 in Berlin, 2015 in Seattle, 2016 in Vienna, 2017 in Pittsburgh, 2018 in Oxford, 2019 in Montreal, and 2022 in Munich, while 2020 and 2021 were held online. The ARCH workshops aim to bring together people from industry with researchers and tool developers interested in applying verification techniques to continuous and hybrid systems. The workshops are accompanied by a collaborative website (cps-vo.org/group/ARCH), which features a curated collection of benchmarks, disseminates results submitted by researchers and tool developers, and provides feedback from practitioners in the form of experience reports. The benchmark repository is intended to serve as a lasting and evolving resource to the research community.

The workshop received three regular paper submissions, two of which were accepted by the program committee. Each submission was reviewed by three program committee members, including at least one member from academia and one from industry.

In addition to the workshop papers, these proceedings present the results of the 7th edition of ARCH-COMP, a friendly competition that was carried out online from February to May 2023. ARCH-COMP showcases the participating tools and serves as a testing ground to see which methods are particularly suitable to which types of problems. As a side effect, it aims at establishing a consensus for comparing different software implementations in the context of verification, as reviewers routinely demand such comparisons of scientific publications.

All participating tools were represented in the competition jury headed by the organizers. In the problem phase of the competition, participants submitted problem instances, which were then approved by the jury by consensus. In most categories, participants submitted a code package, and the performance measurements were run centrally under the supervision of Taylor T. Johnson. As indicated in the reports, participants who could not submit executable code carried out the performance measurements. To establish further trustworthiness of the results, the code with which the results have been obtained is available on the ARCH website.

The problem descriptions and the results are provided in a report for each category, drafted by the category lead and representatives of the participating tools. Due to the diversity of problems, ARCH-COMP does not provide any ranking of tools. Nonetheless, the presented results provide the most complete assessment of tools for the safety verification of continuous and hybrid systems up to this date.