Photo of Dr Matt Webster

Dr Matt Webster B.Sc. (Hons.), Ph.D., MIET

Research Associate Computer Science

    Publications

    2020

    The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems (Conference Paper)

    Koeman, V., Dennis, L. A., Webster, M., Fisher, M., & Hindriks, K. (2020). The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems. In L. Dennis, R. Bordini, & Y. Lespérance (Eds.), Engineering Multi-Agent Systems. EMAS 2019 Vol. 12058 (pp. 152-172). Montreal, Canada: Springer. doi:10.1007/978-3-030-51417-4_8

    DOI: 10.1007/978-3-030-51417-4_8

    Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations (Conference Paper)

    Webster, M., Dennis, L. A., Dixon, C., Fisher, M., Stocker, R., & Sierhuis, M. (2020). Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In 2020 IEEE Aerospace Conference. IEEE. doi:10.1109/aero47225.2020.9172303

    DOI: 10.1109/aero47225.2020.9172303

    A Corroborative Approach to Verification and Validation of Human–Robot Teams (Journal article)

    Webster, M., Western, D., Araiza-Illan, D., Dixon, C., Eder, K., Fisher, M., & Pipe, A. (2020). A Corroborative Approach to Verification and Validation of Human–Robot Teams. International Journal of Robotics Research, 39(1), 73-99. doi:10.1177/0278364919883338

    DOI: 10.1177/0278364919883338

    2019

    Modular Verification of Autonomous Space Robotics (Conference Paper)

    Farrell, M., Cardoso, R. C., Dennis, L. A., Dixon, C., Fisher, M., Kourtis, G., . . . Webster, M. (n.d.). Modular Verification of Autonomous Space Robotics. Retrieved from http://arxiv.org/abs/1908.10738v1

    Towards a Methodology to Test UAVs in Hazardous Environments (Conference Paper)

    Page, V., Webster, M. P., Fisher, M., & Jump, M. (2019). Towards a Methodology to Test UAVs in Hazardous Environments. In ICAS 2019, The Fifteenth International Conference on Autonomic and Autonomous Systems.

    Certification of Safe and Trusted Robotic Inspection of Assets (Conference Paper)

    Dinmohammadi, F., Flynn, D., Fisher, M., Jump, M., Page, V., Robu, V., . . . Webster, M. P. (2019). Certification of Safe and Trusted Robotic Inspection of Assets. In https://ieeexplore.ieee.org/document/8603362/.

    Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks (Journal article)

    Webster, M., Breza, M., Dixon, C., Fisher, M., & McCann, J. (2019). Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76.

    Probabilistic Model Checking of Robots Deployed in Extreme Environments (Conference Paper)

    Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M., Webster, M., & AAAI. (2019). Probabilistic Model Checking of Robots Deployed in Extreme Environments. In THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE (pp. 8066-8074). Retrieved from http://gateway.webofknowledge.com/

    2018

    Verifiable Self-Certifying Autonomous Systems (Conference Paper)

    Fisher, M., Collins, E., Dennis, L., Luckcuck, M., Webster, M., Jump, M., . . . Zhao, X. (2018). Verifiable Self-Certifying Autonomous Systems. In 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE. doi:10.1109/issrew.2018.00028

    DOI: 10.1109/issrew.2018.00028

    PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol (Software / Code)

    Webster, M. P., Breza, M., Dixon, C., Fisher, M., & McCann, J. (n.d.). PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol [Computer Software].

    Two-stage agent program verification (Journal article)

    Dennis, L. A., Fisher, M., & Webster, M. (2018). Two-stage agent program verification. JOURNAL OF LOGIC AND COMPUTATION, 28(3), 499-523. doi:10.1093/logcom/exv002

    DOI: 10.1093/logcom/exv002

    2017

    CRutoN: Automatic Verification of a Robotic Assistant's Behaviours (Conference Paper)

    Gainer, P., Dixon, C. L., Dautenhahn, K., Fisher, M., Hustadt, U., Saunders, J., & Webster, M. (2017). CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. In Lecture Notes in Computer Science Vol. 10471 (pp. 119-133). Torino, Italy: Springer Nature. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-67113-0_8

    2016

    Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study (Journal article)

    Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., . . . Saez-Pons, J. (2016). Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46(2), 186-196. doi:10.1109/THMS.2015.2425139

    DOI: 10.1109/THMS.2015.2425139

    Formal verification of ethical choices in autonomous systems (Journal article)

    Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2016). Formal verification of ethical choices in autonomous systems. ROBOTICS AND AUTONOMOUS SYSTEMS, 77, 1-14. doi:10.1016/j.robot.2015.11.012

    DOI: 10.1016/j.robot.2015.11.012

    2014

    Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation (Journal article)

    Webster, M., Cameron, C., Fisher, M., & Jump, M. (2014). Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. Journal of Aerospace Information Systems, 11(05), 258-279. doi:10.2514/1.I010096

    DOI: 10.2514/1.I010096

    Formal Verification of an Autonomous Personal Robotic Assistant (Conference Paper)

    Webster, M., Salem, M., Dixon, C., Fisher, M., & Dautenhahn, K. (2014). Formal Verification of an Autonomous Personal Robotic Assistant. In AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014) (pp. 0). Palo Alto, CA: AIAA. Retrieved from https://www.aaai.org/Library/Symposia/Spring/ss14-02.php

    Ethical Choice in Unforeseen Circumstances (Conference Paper)

    Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2014). Ethical Choice in Unforeseen Circumstances. In TOWARDS AUTONOMOUS ROBOTIC SYSTEMS Vol. 8069 (pp. 433-445). doi:10.1007/978-3-662-43645-5_45

    DOI: 10.1007/978-3-662-43645-5_45

    Formal verification of an autonomous personal robotic assistant (Conference Paper)

    Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., & Dautenhahn, K. (2014). Formal verification of an autonomous personal robotic assistant. In AAAI Spring Symposium - Technical Report Vol. SS-14-02 (pp. 74-79).

    Safe and Trustworthy Autonomous Robotic Assistants (Media)

    Webster, M., Dixon, C., & Fisher, M. (2014). Safe and Trustworthy Autonomous Robotic Assistants. [Paper].

    “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours (Conference Paper)

    Dixon, C., Webster, M., Saunders, J., Fisher, M., & Dautenhahn, K. (2014). “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours. In Unknown Conference (pp. 97-108). Springer International Publishing. doi:10.1007/978-3-319-10401-0_9

    DOI: 10.1007/978-3-319-10401-0_9

    2013

    Can You Trust Your Robotic Assistant? (Conference Paper)

    Amirabdollahian, F., Dautenhahn, K., Dixon, C., Eder, K., Fisher, M., Koay, K. L., . . . Webster, M. (2013). Can You Trust Your Robotic Assistant?. In SOCIAL ROBOTICS, ICSR 2013 Vol. 8239 (pp. 571-573). Retrieved from http://gateway.webofknowledge.com/

    Using Agent JPF to Build Models for Other Model Checkers (Conference Paper)

    Dennis, L. A., Fisher, M., & Webster, M. (2013). Using Agent JPF to Build Models for Other Model Checkers. In COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV Vol. 8143 (pp. 273-289). Retrieved from http://gateway.webofknowledge.com/

    Verifying Autonomous Systems (Journal article)

    Fisher, M., Dennis, L., & Webster, M. (2013). Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56(9), 84-93. doi:10.1145/2500468.2494558

    DOI: 10.1145/2500468.2494558

    Ethical Choice in Unforeseen Circumstances (Conference Paper)

    Dennis, L., Fisher, M., Slavkovik, M., & Webster, M. (2013). Ethical Choice in Unforeseen Circumstances. In 14th Conference Towards Autonomous Robotic Systems (TAROS) (pp. 0). Oxford: Springer.

    Safe and Trustworthy Autonomous Robots (Journal article)

    Webster, M. (2013). Safe and Trustworthy Autonomous Robots. Space Safety Magazine, 0. Retrieved from http://www.spacesafetymagazine.com/

    2012

    R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems (Journal article)

    Webster, M., & Malcolm, G. (2012). R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. BIOSYSTEMS, 110(2), 119-129. doi:10.1016/j.biosystems.2012.07.003

    DOI: 10.1016/j.biosystems.2012.07.003

    Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation (Conference Paper)

    Webster, M., Cameron, N., Jump, M., & Fisher, M. (2012). Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. In Infotech@Aerospace 2012. American Institute of Aeronautics and Astronautics. doi:10.2514/6.2012-2573

    DOI: 10.2514/6.2012-2573

    Model checking agent programming languages (Journal article)

    Dennis, L. A., Fisher, M., Webster, M. P., & Bordini, R. H. (2012). Model checking agent programming languages. AUTOMATED SOFTWARE ENGINEERING, 19(1), 5-63. doi:10.1007/s10515-011-0088-x

    DOI: 10.1007/s10515-011-0088-x

    2011

    Certification of a civil UAS: A virtual engineering approach (Conference Paper)

    Cameron, N., Webster, M., Jump, M., & Fisher, M. (2011). Certification of a civil UAS: A virtual engineering approach. In AIAA Modeling and Simulation Technologies Conference 2011 (pp. 1011-1025).

    Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems (Conference Paper)

    Webster, M., Fisher, M., Cameron, N., & Jump, M. (2011). Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. In Unknown Conference (pp. 228-242). Springer Berlin Heidelberg. doi:10.1007/978-3-642-24270-0_17

    DOI: 10.1007/978-3-642-24270-0_17

    Certification of a Civil UAS: A Virtual Engineering Approach (Conference Paper)

    Cameron, N., Webster, M., Jump, M., & Fisher, M. (2011). Certification of a Civil UAS: A Virtual Engineering Approach. In AIAA Modeling and Simulation Technologies Conference. American Institute of Aeronautics and Astronautics. doi:10.2514/6.2011-6664

    DOI: 10.2514/6.2011-6664

    Virtual Engineering Centre - Examples of Virtual Prototyping and Multidisciplinary Design Optimization (Conference Paper)

    Cooper, J. E., & al, E. (2011). Virtual Engineering Centre - Examples of Virtual Prototyping and Multidisciplinary Design Optimization. In Virtual Prototyping of Affordable Military Vehicles Using Advanced MDO (pp. 1-28). Sofia, Bulgaria: NATO.

    2009

    Detection of metamorphic and virtualization-based malware using algebraic specification (Journal article)

    Webster, M., & Malcolm, G. (2009). Detection of metamorphic and virtualization-based malware using algebraic specification. Journal in Computer Virology, 5(3), 221-245. doi:10.1007/s11416-008-0094-0

    DOI: 10.1007/s11416-008-0094-0

    2008

    Hierarchical components and entity-based modelling in artificial life (Conference Paper)

    Webster, M., & Malcolm, G. (2008). Hierarchical components and entity-based modelling in artificial life. In Artificial Life XI: Proceedings of the 11th International Conference on the Simulation and Synthesis of Living Systems, ALIFE 2008 (pp. 678-685).

    Formal affordance-based models of computer virus reproduction (Journal article)

    Webster, M., & Malcolm, G. (2008). Formal affordance-based models of computer virus reproduction. Journal in Computer Virology, 4(4), 289-306. doi:10.1007/s11416-007-0079-4

    DOI: 10.1007/s11416-007-0079-4

    Formal affordance-based models of computer virus reproduction (Journal article)

    Webster, M., & Malcolm, G. (2008). Formal affordance-based models of computer virus reproduction. Journal in Computer Virology, 4(4), 289-306. doi:10.1007/s11416-007-0079-4

    DOI: 10.1007/s11416-007-0079-4

    Formal Models of Reproduction: from Computer Viruses to Artificial Life (Thesis / Dissertation)

    Webster, M. (2008). Formal Models of Reproduction: from Computer Viruses to Artificial Life. (PhD Thesis, University of Liverpool). Retrieved from http://www.csc.liv.ac.uk/~matt/

    2007

    Reproducer Classification Using the Theory of Affordances (Conference Paper)

    Webster, M., & Malcolm, G. (2007). Reproducer Classification Using the Theory of Affordances. In 2007 IEEE Symposium on Artificial Life. IEEE. doi:10.1109/alife.2007.367786

    DOI: 10.1109/alife.2007.367786

    Reproducer classification using the theory of affordances: Models and examples (Journal article)

    Webster, M., & Malcolm, G. (2007). Reproducer classification using the theory of affordances: Models and examples. International Journal of Information Technology and Intelligent Computing.

    Reproducer classification using the theory of affordances: models and examples (Journal article)

    Webster, M., & Grant, M. (2007). Reproducer classification using the theory of affordances: models and examples. International Journal of Information Technology and Intelligent Computing, 2(2), 1-16. Retrieved from http://itic.wshe.lodz.pl/

    2006

    Detection of metamorphic computer viruses using algebraic specification (Journal article)

    Webster, M., & Malcolm, G. (2006). Detection of metamorphic computer viruses using algebraic specification. Journal in Computer Virology, 2(3), 149-161. doi:10.1007/s11416-006-0023-z

    DOI: 10.1007/s11416-006-0023-z

    Detection of metamorphic computer viruses using algebraic specification (Journal article)

    Webster, M., & Malcolm, G. (2006). Detection of metamorphic computer viruses using algebraic specification. Journal in Computer Virology, 2(3), 149-161. doi:10.1007/s11416-006-0023-z

    DOI: 10.1007/s11416-006-0023-z