Abstract is missing.
- ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant DynamicsGoran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella. 1-13 [doi]
- ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant DynamicsLei Bu, Rajarshi Ray 0001, Stefan Schupp. 14-22 [doi]
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Xin Chen 0002, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. 23-52 [doi]
- ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsFabian Immler, Matthias Althoff, Xin Chen 0002, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani. 53-70 [doi]
- ARCH-COMP18 Category Report: Stochastic ModellingAlessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod. 71-103 [doi]
- ARCH-COMP18 Category Report: Results on the Falsification BenchmarksAdel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards. 104-109 [doi]
- ARCH-COMP18 Category Report: Hybrid Systems Theorem ProvingStefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan. 110-127 [doi]
- ARCH-COMP18 Repeatability Evaluation ReportTaylor T. Johnson. 128-134 [doi]
- Numerical Verification of 10000-dimensional Linear Systems 10000x FasterStanley Bak. 135-144 [doi]
- Implementation of Taylor models in CORA 2018Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper. 145-173 [doi]
- Linear Differential-Algebraic Equations (Benchmark Proposal)Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson. 174-184 [doi]
- Discrete-Space Analysis of Partial Differential EquationsHoang-Dung Tran, Tianshu Bao, Taylor T. Johnson. 185-195 [doi]
- Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)Patrick Musau, Taylor T. Johnson. 196-207 [doi]
- Verification Challenges in F-16 Ground Collision Avoidance and Other Automated ManeuversPeter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak. 208-217 [doi]
- Space Debris Collision Detection using ReachabilityKerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak. 218-228 [doi]
- Lane change maneuver for autonomous vehicles (Benchmark Proposal)Nikolaos Kekatos, Daniel Heß, Goran Frehse. 229-241 [doi]
- Benchmarks for stochastic models from building automation systemsNathalie Cauchi, Alessandro Abate. 242-250 [doi]