Browse by People

Webster, Matt ORCID: 0000-0002-8817-6881, Western, David, Araiza-Illan, Dejanira, Dixon, Clare ORCID: 0000-0002-4610-9533, Eder, Kerstin, Fisher, Michael and Pipe, Anthony (2020) A Corroborative Approach to Verification and Validation of Human–Robot Teams. International Journal of Robotics Research, 39 (1). pp. 73-99.

Webster, Matt ORCID: 0000-0002-8817-6881 (2008) Formal Models of Reproduction: from Computer Viruses to Artificial Life. PhD thesis, University of Liverpool.

Webster, Matt ORCID: 0000-0002-8817-6881, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Stocker, Richard and Sierhuis, Maarten (2020) Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.

Webster, Matt ORCID: 0000-0002-8817-6881, Salem, Maha, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael and Dautenhahn, Kerstin (2014) Formal Verification of an Autonomous Personal Robotic Assistant. In: AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014), USA.

Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Slavkovik, Marija and Webster, Matt ORCID: 0000-0002-8817-6881 (2016) Formal verification of ethical choices in autonomous systems. ROBOTICS AND AUTONOMOUS SYSTEMS, 77. pp. 1-14.

Dixon, Clare, Webster, Matt ORCID: 0000-0002-8817-6881, Saunders, Joe, Fisher, Michael and Dautenhahn, Kerstin (2014) “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours. In: Towards Autonomous Robotic Systems (TAROS), The Library of Birmingham.

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.

Zhao, Xingyu ORCID: 0000-0002-3474-349X, Robu, Valentin, Flynn, David, Dinmohammadi, Fateme, Fisher, Michael and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Probabilistic Model Checking of Robots Deployed in Extreme Environments. In: 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, 2019.

Webster, Matt ORCID: 0000-0002-8817-6881, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Salem, Maha, Saunders, Joe, Koay, Kheng Lee, Dautenhahn, Kerstin and Saez-Pons, Joan (2016) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196.

Page, Vincent, Dadswell, Christopher, Webster, Matt, Jump, Mike ORCID: 0000-0002-1028-2334 and Fisher, Michael (2021) Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. ROBOTICS, 10 (3). p. 97.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael and Webster, Matt ORCID: 0000-0002-8817-6881 (2018) Two-stage agent program verification. JOURNAL OF LOGIC AND COMPUTATION, 28 (3). pp. 499-523.

Koay, Kheng Lee, Webster, Matt, Dixon, Clare, Gainer, Paul, Syrdal, Dag, Fisher, Michael and Dautenhahn, Kerstin (2021) Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12 (1). pp. 402-422.

Collapse authors list.
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) , Robu, Valentin and Zhao, Xingyu ORCID: 0000-0002-3474-349X (2018) Verifiable Self-Certifying Autonomous Systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.

Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Webster, Matt ORCID: 0000-0002-8817-6881 (2013) Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56 (9). pp. 84-93.