Probabilistic Model Checking of Robots Deployed in Extreme Environments

Open in new window