default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ARCH 2020: Berlin, Germany
- ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. EPiC Series in Computing 74, EasyChair 2020
- Lei Bu, Alessandro Abate, Dieky Adzkiya
, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella:
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. 1-15 - Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. 16-48 - Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. 49-75 - Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani:
ARCH-COMP20 Category Report: Stochastic Models. 76-106 - Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang:
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. 107-139 - Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2020 Category Report: Falsification. 140-152 - Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. 153-174 - Taylor T. Johnson:
ARCH-COMP20 Repeatability Evaluation Report. 175-183 - Edward Kim, Parasara Sridhar Duggirala:
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. 184-196 - Jawher Jerray, Laurent Fribourg, Étienne André:
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). 197-208 - Maximilian Gaukler:
Analysis of Real-Time Control Systems using First-Order Continuization. 209-241 - Ian Mitchell:
A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars. 242-258 - Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson:
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. 259-266 - Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson:
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. 267-274
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 2024-11-08 20:40 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:
