Abstract is missing.
- ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant DynamicsGoran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella. 1-13 [doi]
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. 14-40 [doi]
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsFabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling. 41-61 [doi]
- ARCH-COMP19 Category Report: Stochastic ModellingAlessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod. 62-102 [doi]
- ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems PlantsDiego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson. 103-119 [doi]
- ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant DynamicsLei Bu, Rajarshi Ray 0001, Stefan Schupp. 120-128 [doi]
- ARCH-COMP 2019 Category Report: FalsificationGidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. 129-140 [doi]
- ARCH-COMP19 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. 141-161 [doi]
- ARCH-COMP19 Repeatability Evaluation ReportTaylor T. Johnson. 162-169 [doi]
- Efficient n-to-n Collision Detection for Space Debris using 4D AABB TreesStanley Bak, Kerianne Hobbs. 170-182 [doi]
- Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output TimingMaximilian Gaukler, Peter Ulbrich. 183-200 [doi]
- Verification of Closed-loop Systems with Neural Network ControllersDiego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson. 201-210 [doi]
- Under the Hood of a Stand-Alone Lagrangian Reachability ToolSophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu. 211-219 [doi]