Zhao, Xingyu, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, and Matt Webster. 2019. “Probabilistic Model Checking of Robots Deployed in Extreme Environments”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):8066-74. https://doi.org/10.1609/aaai.v33i01.33018066.