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