Abstract is missing.
- ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model CheckingLei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray 0001, Yuming Wu, Enea Zaffanella. 1-15 [doi]
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. 16-48 [doi]
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsLuca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling 0001. 49-75 [doi]
- ARCH-COMP20 Category Report: Stochastic ModelsAlessandro Abate, Henk 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. 76-106 [doi]
- ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems PlantsTaylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang. 107-139 [doi]
- ARCH-COMP 2020 Category Report: FalsificationGidon 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. 140-152 [doi]
- ARCH-COMP20 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. 153-174 [doi]
- ARCH-COMP20 Repeatability Evaluation ReportTaylor T. Johnson. 175-183 [doi]
- Kaa: A Python Implementation of Reachable Set Computation Using Bernstein PolynomialsEdward Kim, Parasara Sridhar Duggirala. 184-196 [doi]
- Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)Jawher Jerray, Laurent Fribourg, Étienne André. 197-208 [doi]
- Analysis of Real-Time Control Systems using First-Order ContinuizationMaximilian Gaukler. 209-241 [doi]
- A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins CarsIan Mitchell. 242-258 [doi]
- Evaluating Optimization Solvers and Robust Semantics for Simulation-Based FalsificationJohan Lidén Eddeland, Sajed Miremadi, Knut Åkesson. 259-266 [doi]
- Industrial Temporal Logic Specifications for Falsification of Cyber-Physical SystemsJohan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson. 267-274 [doi]