Probabilistic Model Checking of Robots Deployed in Extreme Environments.

Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster

Browse the full AAAI paper archive.