Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 3.


Dinmohammadi, Fateme, Flynn, David, Fisher, Michael, Jump, Michael ORCID: 0000-0002-1028-2334, Page, Vincent, Robu, Valentin, Patchett, Charles, Tang, Wenshuo and Webster, MP ORCID: 0000-0002-8817-6881
(2019) Certification of Safe and Trusted Robotic Inspection of Assets. In: 2018 Prognostics and System Health Management Conference.


Zhao, Xingyu, 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. .


Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David
et al (show 2 more authors) (2018) Verifiable Self-Certifying Autonomous Systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.

This list was generated on Thu Nov 19 08:28:22 2020 GMT.