Matt Webster | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Michael Fisher
25 publications
Matt Luckcuck
22 publications
David Flynn
21 publications
Marie Farrell
18 publications
Xingyu Zhao
17 publications
Alexei Lisitsa
16 publications
Valentin Robu
15 publications
Rafael C. Cardoso
12 publications
Louise A. Dennis
10 publications
Clare Dixon
5 publications
Fateme Dinmohammadi
1 publication

research

∙ 08/28/2019

Modular Verification of Autonomous Space Robotics

Ensuring that autonomous space robot control software behaves as it shou...

0 Marie Farrell, et al. ∙

research

∙ 12/10/2018

Probabilistic Model Checking of Robots Deployed in Extreme Environments

Robots are increasingly used to carry out critical missions in extreme e...

0 Xingyu Zhao, et al. ∙