Concepedia

Matt Webster

MW

22

Publications

1.1K

Citations

15

H-Index

1993

Active since

Affiliations

University of Liverpool(Current)

Langley Research Center

The Ohio State University

University of Virginia

Daresbury Laboratory

Matt Webster is an author at University of Liverpool specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationProgram AnalysisSoftware AnalysisAutonomous SystemsAutomated Reasoning

Publications per year

1993–2021

22

Publications

22

Formal verification of ethical choices in autonomous systems

Louise A. Dennis, Michael Fisher, Marija Slavkovik et al. · Robotics and Autonomous Systems · 2015 · 206 citations · Full text

Model checking agent programming languages

Louise A. Dennis, Michael Fisher, Matt Webster et al. · Automated Software Engineering · 2011 · 190 citations

Engineering, Formal Modeling, Program Analysis +10

Verifying autonomous systems

Michael Fisher, Louise A. Dennis, Matt Webster · Communications of the ACM · 2013 · 117 citations · Full text

Artificial Intelligence, Engineering, Robotic Agent +16

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation

Matt Webster, Neil Cameron, Michael Fisher · Journal of Aerospace Information Systems · 2014 · 70 citations

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study

Matt Webster, Clare Dixon, Michael Fisher et al. · IEEE Transactions on Human-Machine Systems · 2015 · 70 citations · Full text

Rows per page

1–5 of 22