ARCH21: Volume Information8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)11 articles•202 pages•Published: December 6, 2021 PapersARCH-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 |
KeyphrasesApplied 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. |
|