default search action
9th ARCH@SAFECOMP 2022: Munich, Germany
- Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jérémie Guiochet:
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022. EPiC Series in Computing 90, EasyChair 2022 - Victor Gaßmann
, Matthias Althoff:
Implementation of Ellipsoidal Operations in CORA 2022. 1-17 - Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, Bryan Widjaja, Claudio Menghi
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device. 18-25 - Matthias Althoff:
Benchmarks for the Formal Verification of Power Systems. 26-43 - Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. 44-57 - Matthias Althoff, Marcelo Forets, Christian Schilling
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. 58-85 - Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. 86-112 - Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön
ARCH-COMP22 Category Report: Stochastic Models. 113-141 - Diego Manzanas Lopez, Matthias Althoff, Luis Benet
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. 142-184 - Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive:
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. 185-203 - Gidon Ernst
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. 204-221 - Taylor T. Johnson:
ARCH-COMP22 Repeatability Evaluation Report. 222-230
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: