ARCH18: Volume Information

ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems

Editors: Goran Frehse
17 articles250 pagesPublished: September 17, 2018

Papers

Results of ARCH-COMP18
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'Ul Mufid and Enea Zaffanella
1-13
Lei Bu, Rajarshi Ray and Stefan Schupp
14-22
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp
23-52
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar and Majid Zamani
53-70
Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian-Ioan Vasile and Abraham P. Vinod
71-103
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo and Sean Sedwards
104-109
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan
110-127
Contributed Papers
Taylor T. Johnson
128-134
Stanley Bak
135-144
Matthias Althoff, Dmitry Grebenyuk and Niklas Kochdumper
145-173
Benchmarks
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson
174-184
Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson
185-195
Patrick Musau and Taylor T. Johnson
196-207
Peter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bak
208-217
Kerianne Hobbs, Peter Heidlauf, Alexander Collins and Stanley Bak
218-228
Nikolaos Kekatos, Daniel Heß and Goran Frehse
229-241
Nathalie Cauchi and Alessandro Abate
242-250

Keyphrases

AABB Trees, affine arithmetic, airplane, autonomous vehicles, benchmark4, Building Automation Systems, CEGAR, collision detection, control design, control synthesis, CORA, counter-example generation, differential-algebraic equations, F-16, finite difference method, Flow*, hybrid automaton, Hylaa, interval arithmetic, INTLAB, lane change, linear systems, neural networks, nonlinear, ODEs, orbital dynamics, partial differential equations, probabilistic reachability analysis, probabilistic safety, reachability, reachability analysis4, Recurrent Neural Networks, rigorous function bounds, RNNs, simulation2, Specifications, stochastic hybrid systems, stochastic models, Taylor models, Thermal modelling, verification2.