Michael Fisher

1. Formal Specification and Verification of Autonomous Robotic Systems
   2018/07/31 by Matt Luckcuck, Marie Farrell, Louise A. Dennis +2 · 5 citations
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
2. Practical Verification of Decision-Making in Agent-Based Autonomous Systems
   2013/10/09 by Louise A. Dennis, Dennis, Louise A., Michael Fisher +7 · 3 citations
   Computer Science · #03B70 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA)
3. Towards a Framework for Certification of Reliable Autonomous Systems
   2020/01/24 by Michael Fisher, Viviana Mascardi, Fisher, Michael +9 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Safety Systems Engineering in Autonomy
4. Towards Verifiably Ethical Robot Behaviour
   2015/04/14 by Louise A. Dennis, Dennis, Louise A., Michael Fisher +3 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Software Testing and Debugging Techniques
5. A Taxonomy of Human-Robot Teamwork Requirements
   2026/07/29 by Anastasia Mavridou, Hazel M. Taylor, Sandy Lozito +3
   Computer Science · #cs.SE