Scholar
Michael Fisher
Google Scholar ID: ObjR3wwAAAAJ
Professor of Computer Science, University of Manchester
Autonomous Systems
Trustworthiness
Formal Methods
Temporal Logic
Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
11,730
H-index
57
i10-index
204
Publications
20
Co-authors
39
list available
Publications
7 items
A Taxonomy of Human-Robot Teamwork Requirements
2026
Cited
0
Engineering Reliable Autonomous Systems: Challenges and Solutions
2026
Cited
0
Towards Responsibly Non-Compliant Machines
2026
Cited
0
Counterexample-Guided Interval Weakening
2026
Cited
0
Automated Formalization of Probabilistic Requirements from Structured Natural Language
2025
Cited
0
Towards Continuous Assurance with Formal Verification and Assurance Cases
2025
Cited
0
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
2025
Cited
0
Co-authors
9 total
Louise Dennis
Department of Computer Science, University of Manchester
Clare Dixon
University of Manchester
Michael Wooldridge
University of Oxford
Marie Farrell
The University of Manchester
Boris Konev
Professor of Computer Science, Liverpool University
Marija Slavkovik
Professor in Artificial Intelligence, University of Bergen
Chiara Ghidini
Free University of Bozen-Bolzano
Kerstin Dautenhahn
Canada 150 Research Chair in Intelligent Robotics (Laureate), University of Waterloo
