Michael Fisher

🏛 所属机构: University of Liverpool, University of Manchester, University of Southampton, General Kinetics (United States), National Institute of Standards and Technology

代表论文

1
Formal Specification and Verification of Autonomous Robotic Systems
264 次引用 · 2019
2
An Introduction to Practical Formal Methods Using Temporal Logic
131 次引用 · 2011
3
Analysing robot swarm behaviour via probabilistic model checking
95 次引用 · 2011
4
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
79 次引用 · 2005
5
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
78 次引用 · 2019
6
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
70 次引用 · 2015
7
An Overview of Verification and Validation Challenges for Inspection Robots
60 次引用 · 2021
8
Towards temporal verification of swarm robotic systems
59 次引用 · 2012
9
ROSMonitoring: A Runtime Verification Framework for ROS
49 次引用 · 2020
10
Towards Moral Autonomous Systems
47 次引用 · 2017

尚未生成