ARCH21: Volume Information

8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)

11 articles202 pagesPublished: December 6, 2021

Papers

ARCH-COMP'21 Category Reports
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp and Mark Wetzlinger
1-31
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling and Mark Wetzlinger
32-54
Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman and Paolo Zuliani
55-89
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer and Insup Lee
90-119
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
120-132
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang
133-152
Taylor T. Johnson
153-160
ARCH'21 Contributed Papers
Matthias Althoff
161-175
Jawher Jerray
176-183
Niklas Kochdumper, Philipp Gassert and Matthias Althoff
184-194
Zahra Ramezani, Alexandre Donze, Martin Fabian and Knut Åkesson
195-202

Keyphrases

Applied verification, ARCH-COMP, Artificial Intelligence, autonomous vehicles, benchmark, collision avoidance, constrained zonotopes, continuous systems, control synthesis, control theory2, CORA, Cyber-Physical Systems, differential dynamic logic, differential equations, dynamical systems, ellipsoids, falsification2, formal methods, formal verification, Friendly Competition, guaranteed state estimation, Hybrid Hoare Logic, hybrid systems5, Hydra, intelligent control systems, interval observers, JuliaReach, limit cycle, linear continuous dynamics, machine learning, model checking, Neural Network Control Systems, neural networks, nonlinear dynamics, periodicity, propagation-based observers, Pulse generators, reachability2, reachability analysis2, repeatability, simulation, SpaceEx, stability, stochastic models, strip-based observers, temporal logic, theorem proving, verification, zonotopes.