ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. (English) Zbl 1366.68183
Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 134-139 (2015).