Webster, T 2022, The Stochastic Arrival Problem . in A W Lin, G Zetzsche & I Potapov (eds), Proceedings of the 16th International Conference on Reachability Problems . Lecture Notes in Computer Science, vol. 13608, pp. 93-107, The 16th International Conference on Reachability Problems, 2022, Kaiserslautern, Germany, 17/10/22 . https://doi.org/10.1007/978-3-031-19135-0