Probabilistic Model Checking of Robots Deployed in Extreme Environments



Zhao, Xingyu ORCID: 0000-0002-3474-349X, Robu, Valentin, Flynn, David, Dinmohammadi, Fateme, Fisher, Michael ORCID: 0000-0002-0875-3862, Webster, Matt ORCID: 0000-0002-8817-6881 and AAAI,
(2019) Probabilistic Model Checking of Robots Deployed in Extreme Environments. .

[img] Text
1812.04128.pdf - Accepted Version

Download (604kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 04 Feb 2019 12:50
Last Modified: 14 Sep 2021 11:02
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3031668