ML Anthology

Webster, Matt

1 publications

AAAI 2019 Probabilistic Model Checking of Robots Deployed in Extreme Environments Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster