Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M., & Webster, M. (2019). Probabilistic Model Checking of Robots Deployed in Extreme Environments. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 8066-8074. https://doi.org/10.1609/aaai.v33i01.33018066