![](/img/cover-not-exists.png)
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Zhao, Xingyu, Robu, Valentin, Flynn, David, Dinmohammadi, Fateme, Fisher, Michael, Webster, MattVolume:
33
Journal:
Proceedings of the AAAI Conference on Artificial Intelligence
DOI:
10.1609/aaai.v33i01.33018066
Date:
July, 2019
File:
PDF, 634 KB
2019