Zhao, X.; Robu, V.; Flynn, D.; Dinmohammadi, F.; Fisher, M.; Webster, M. Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI 2019, 33, 8066-8074.