TY  - RPRT
TI  - Probabilistic Model Checking of Robots Deployed in Extreme Environments
AU  - Xingyu Zhao
AU  - Valentin Robu
AU  - David Flynn
AU  - Fateme Dinmohammadi
AU  - Michael Fisher
AU  - Matt Webster
PY  - 2019
DO  - 10.1609/aaai.v33i01.33018066
UR  - https://arxiv.org/abs/1812.04128
ID  - 1812.04128
ER  -