Probabilistic Model Checking of Robots Deployed in Extreme Environments

Xingyu Zhao, Valentin Robu, David Flynn +3

Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncerta…