ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems17 articles•250 pages•Published: September 17, 2018 PapersResults of ARCH-COMP18 | Pages 1-13 | Pages 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 Pages 23-52 | Pages 53-70 | Pages 71-103 | Pages 104-109 | Pages 110-127 | Contributed Papers | Pages 128-134 | Pages 135-144 | Pages 145-173 | Benchmarks | Pages 174-184 | Pages 185-195 | Pages 196-207 | Pages 208-217 | Pages 218-228 | Pages 229-241 | Pages 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 |
|