|
[ZRF+19]
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher and Matt Webster.
Probabilistic Model Checking of Robots Deployed in Extreme Environments.
In Proc. Thirty-Third AAAI Conference on Artificial Intelligence.
2019.
[Proposes a probabilistic model checking approach for verifying the safety of robots in hazardous environments, based on the use of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|