default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ARCH@ADHS 2021: Brussels, Belgium
- Goran Frehse, Matthias Althoff:
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. EPiC Series in Computing 80, EasyChair 2021 - Matthias Althoff, Erika Ábrahám
, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. 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, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. 32-54 - Alessandro Abate, Henk A. P. 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 J. Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. 55-89 - Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee:
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. 90-119 - Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. 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, Zhenya Zhang:
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. 133-152 - Taylor T. Johnson:
ARCH-COMP21 Repeatability Evaluation Report. 153-160 - Matthias Althoff:
Guaranteed State Estimation in CORA 2021. 161-175 - Jawher Jerray:
ORBITADOR: A tool to analyze the stability of periodical dynamical systems. 176-183 - Niklas Kochdumper, Philipp Gassert, Matthias Althoff:
Verification of Collision Avoidance for CommonRoad Traffic Scenarios. 184-194 - Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson:
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. 195-202
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-01-22 20:37 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:
