ARCH18: Volume InformationARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems17 articles•250 pages•Published: September 17, 2018 PapersResults 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 |
KeyphrasesAABB 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. |
|