Michael Fisher

University of Liverpool, University of Manchester, University of Southampton, General Kinetics (United States), National Institute of Standards and Technology

Papers

54

Total Citations

1,489

H-Index

21

About

No biography available yet.

Research Focus

Computer science54 · 1,489 citations
Artificial intelligence38 · 1,006 citations
Robot34 · 962 citations
Programming language29 · 935 citations
Software engineering29 · 846 citations
Formal verification19 · 613 citations
Formal methods10 · 454 citations
Robotics10 · 442 citations
Engineering25 · 344 citations
Computer security13 · 304 citations
Correctness4 · 296 citations
Swarm behaviour6 · 285 citations

Key Achievements

21
H-Index
54
Papers
1,489
Total Citations
28
Avg Citations/Paper
🏆 Most Cited Paper
Formal Specification and Verification of Autonomous Robotic Systems
264 citations · 2019
📈 Most Prolific Year: 2021 (9 Papers)
🤝 Key Collaborators: 100
🏛 Institutions: University of Liverpool, University of Manchester, University of Southampton, General Kinetics (United States), National Institute of Standards and Technology

Top Papers

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

Key Collaborators

LALouise A. Dennis24 shared papersCDClare Dixon22 shared papersMWMatt Webster14 shared papersRCRafael C. Cardoso14 shared papersMFMarie Farrell11 shared papersAFAngelo Ferrando8 shared papersMLMatt Luckcuck7 shared papersAWAlan Winfield6 shared papersKDKerstin Dautenhahn6 shared papersJSJoe Saunders5 shared papersALAlexei Lisitsa5 shared papersKLKheng Lee Koay4 shared papersGKGeorgios Kourtis4 shared papersCSCraig Schlenoff3 shared papersSKSavas Konur3 shared papersFPFabio Papacchini3 shared papersVPVincent Pagé3 shared papersMSMaha Salem3 shared papersSMSándor M. Veres2 shared papersMSMarija Slavkovik2 shared papers
Not generated yet