X. Zhao, V. Robu, D. Flynn, F. Dinmohammadi, M. Fisher, and M. Webster, “Probabilistic Model Checking of Robots Deployed in Extreme Environments”, AAAI, vol. 33, no. 01, pp. 8066-8074, Jul. 2019.