Michael Fisher

A Principled Transition from Remote-Control to Autonomy

2026cited by 0position: contributordoi

Counterexample-Guided Interval Weakening

Lecture Notes in Computer Science 2026cited by 0position: contributordoi

Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE

Formal Aspects of Computing 2026cited by 0position: contributordoi

Enhanced agent-oriented programming for robot teams

Engineering Applications of Artificial Intelligence 2025cited by 2position: contributordoi

An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations

Robotics and Autonomous Systems 2025cited by 1position: contributordoi

Corroborative V&V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance

Communications in Computer and Information Science 2025cited by 0position: contributordoi

Open-World Verification: A Grand Challenge for Autonomous Systems

Proceedings of the IEEE 2025cited by 0position: contributordoi

A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts

IEEE Robotics & Automation Magazine 2025cited by 0position: contributordoi

Monodic fragments of probabilistic first-order temporal logic with bounded semantics

Theoretical Computer Science 2025cited by 0position: contributordoi

Specifying Agent Ethics

Lecture Notes in Computer Science 2025cited by 0position: contributordoi

Security-Minded Verification of Cooperative Awareness Messages

IEEE Transactions on Dependable and Secure Computing 2024cited by 5position: contributordoi

Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints

IEEE Transactions on Software Engineering 2024cited by 1position: contributordoi

Trustworthy Autonomous Systems Through Verifiability

Computer 2023cited by 7position: contributordoi

Prospective Responsibility for Multi-agent Systems

Lecture Notes in Computer Science 2023cited by 2position: contributordoi

Adaptive Cognitive Agents: Updating Action Descriptions and Plans

Lecture Notes in Computer Science 2023cited by 1position: contributordoi

Towards Forward Responsibility in BDI Agents

Lecture Notes in Computer Science 2023cited by 0position: contributordoi

Correction: Parameterized verification of leader/follower systems via first-order temporal logic

Formal Methods in System Design 2023cited by 0position: contributordoi

CT or Invasive Coronary Angiography in Stable Chest Pain.

2022cited by 243position: contributordoi

Implementing Ethical Governors in BDI

Lecture Notes in Computer Science 2022cited by 10position: contributordoi

An Overview of Verification and Validation Challenges for Inspection Robots

Robotics 2021cited by 55position: contributordoi

Integrating Formal Verification and Assurance: An Inspection Rover Case Study

Lecture Notes in Computer Science 2021cited by 33position: contributordoi

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations

Journal of Sensor and Actuator Networks 2021cited by 17position: contributordoi

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions

Robotics 2021cited by 3position: contributordoi

Parameterized verification of leader/follower systems via first-order temporal logic

Formal Methods in System Design 2021cited by 2position: contributordoi

Increasing confidence in autonomous systems

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution 2021cited by 2position: contributordoi

Agile Tasking of Robotic Systems with Explicit Autonomy

The International FLAIRS Conference Proceedings 2021cited by 1position: contributordoi

Verifiable Self-Aware Agent-Based Autonomous Systems

Proceedings of the IEEE 2020cited by 38position: contributordoi

An Interface for Programming Verifiable Autonomous Agents in ROS

Lecture Notes in Computer Science 2020cited by 22position: contributordoi

The “Why Did You Do That?” Button: Answering Why-Questions for End Users of Robotic Systems

Lecture Notes in Computer Science 2020cited by 18position: contributordoi

Plan Library Reconfigurability in BDI Agents

Lecture Notes in Computer Science 2020cited by 12position: contributordoi

Recent publications

Grants

Frequent collaborators