ARCH23: Volume InformationProceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)9 articles•195 pages•Published: October 18, 2023 PapersContributed Papers | Sanaz Sheikhi and Stanley Bak 1-8 | Matthias Althoff 9-33 | ARCH-COMP23 Reports | Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger and Daniel Zhuang 34-60 | 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 | Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T Johnson, Tobias Ladner and Christian Schilling 89-125 | 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 | 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 | Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster and Jonathan Julian Huerta Y Munive 170-188 | Taylor T Johnson 189-195 |
KeyphrasesACAS Xu, ARCH-COMP, Artifact Evaluation, autonomous systems, Benchmarking2, conformance checking, Conformance synthesis, continuous systems, control synthesis, CORA2, Cyber-Physical Systems, differential dynamic logic, dynamical systems, evaluation, falsification, formal methods2, formal verification2, Friendly Competition, Hybrid Hoare Logic, hybrid systems4, JuliaReach, linear continuous dynamics, Markov chains, Markov Decision Processes, Neural Network Control Systems, Neural Network Verification, neural networks, nonlinear dynamics, nonlinear systems, reachability analysis2, Reachset conformance, Repeatability Evaluation, Set containment, stochastic models, test case, theorem proving, verification4, verse. |
|