Search filters

List of works by Michael Fisher

A Common Basis for Agent Organisation in BDI Languages

scientific article published in 2008

A Common Semantic Basis for BDI Languages

A Formal Semantics for Brahms

scientific article published in 2011

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

A Summary of Formal Specification and Verification of Autonomous Robotic Systems

A corroborative approach to verification and validation of human–robot teams

A roadmap to pervasive systems verification

Agent Based Approaches to Engineering Autonomous Space Software

scientific article published on 28 March 2010

Agent deliberation in an executable temporal framework

scientific article published in December 2011

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice

Alternating automata and temporal logic normal forms

scientific article published in September 2005

An Introduction to Practical Formal Methods Using Temporal Logic

scientific article published on 15 April 2011

An abstract formal basis for digital crowds

Analysing robot swarm behaviour via probabilistic model checking

scientific article published in February 2012

Automated Game Analysis via Probabilistic Model Checking: a case study

scientific article published in February 2006

Automated Verification of Multi-Agent Programs

scientific article published in September 2008

Autonomous Asteroid Exploration by Rational Agents

Autonomous Nuclear Waste Management

COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

Certification of Safe and Trusted Robotic Inspection of Assets

scholarly article published October 2018

Chapter 12 Temporal Representation and Reasoning

scientific article published in 2008

Characterising simple negotiation as distributed agent-based theorem-proving-a preliminary report

Clausal resolution in a logic of rational agency

scientific article published in July 2002

Clausal temporal resolution

scientific article published in January 2001

Combinations of Modal Logics

Combined model checking for temporal, probabilistic, and real-time logics

scientific article published in September 2013

Continuing research in multi-agent systems

scientific article published in September 1999

Declarative Abstractions for Agent Based Hybrid Control Systems

scientific article published in 2011

Deductive temporal reasoning with constraints

Deductive verification of simple foraging robotic behaviours

scientific article published on 20 November 2009

Ethical Choice in Unforeseen Circumstances

Executable specifications of resource-bounded agents

Executing Logical Agent Specifications

scientific article published in 2009

Exploring the Future with Resource-Bounded Agents

First-Order Temporal Verification in Practice

scientific article published in April 2005

Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification

scientific article published in May 2011

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems

scientific article published in 2011

Formal Specification and Verification of Autonomous Robotic Systems

scientific article published on 13 September 2019

Formal Verification of Probabilistic Swarm Behaviours

scientific article published in 2010

Formal verification of a pervasive messaging system

Formal verification of autonomous vehicle platooning

Formal verification of ethical choices in autonomous systems

Formal verification of human-robot teamwork

scientific article published in 2009

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation

Guest editorial: Temporal representation and reasoning

Guiding Clausal Temporal Resolution

scientific article published in 2000

Implementing Temporal Logics: Tools for Execution and Proof

scientific article published in 2006

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

Is There a Future for Deductive Temporal Verification?

scientific article published in 2006

Logic-Based Agent Verification

article published in 2007

Logics in AI: post-proceedings JELIA06 (Editorial)

scientific article published on 25 July 2007

MODEL CHECKING FOR MULTIAGENT SYSTEMS: THE MABLE LANGUAGE AND ITS APPLICATIONS

scientific article published in April 2006

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems

Mechanising first-order temporal resolution

scientific article published in May 2005

MetateM: The Story so Far

scientific article published in 2006

Misplaced Trust?

article by Michael Fisher et al published 1 January 2015 in Engineering & Technology Reference

Model Checking Rational Agents

scientific article published in September 2004

Model checking agent programming languages

scientific article published on 24 May 2011

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Plan Library Reconfigurability in BDI Agents

Practical First-Order Temporal Reasoning

scientific article published in June 2008

Practical verification of decision-making in agent-based autonomous systems

Preface

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)

Probabilistic Model Checking of Robots Deployed in Extreme Environments

Programming Verifiable Heterogeneous Agent Systems

scientific article published in 2009

Property-based Slicing for Agent Verification

scientific article published on 16 June 2009

Reasoning about agents in the KARO framework

Reconfigurable Autonomy

Resolution-based proof for multi-modal temporal logics of knowledge

Robotics and Integrated Formal Methods: Necessity Meets Opportunity

Safety and Certification of Unmanned Air Systems

Satellite Control Using Rational Agent Programming

scientific article published in May 2010

Slicing Agent Programs for More Efficient Verification

Specifying and reasoning about uncertain agents

scientific article published in September 2008

Symmetric Temporal Theorem Proving

scientific article published in September 2012

Tableaux for logics of time and knowledge with interactions relating to synchrony

scientific article published in January 2004

Tableaux for temporal logics of knowledge: synchronous systems of perfect recall or no learning

Taming the Complexity of Temporal Epistemic Reasoning

scientific article published in 2009

Temporal Development Methods for Agent-Based

scientific article published in January 2005

Temporal Logics of Knowledge and their Applications in Security

scientific article published in July 2007

Temporal Reasoning in Agent-Based Systems

scientific article published in 2005

Temporal Verification of Fault-Tolerant Protocols

scientific article published in 2009

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

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

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems

scientific article published in 2011

Towards temporal verification of swarm robotic systems

scientific article published in November 2012

Towards the implementation of first-order temporal resolution: the expanding domain case

Two-stage agent program verification

Uncertain Agent Verification through Probabilistic Model-Checking

scientific article published in 2009

Using Agent JPF to Build Models for Other Model Checkers

scientific article published in 2013

Verifiable Self-Aware Agent-Based Autonomous Systems

Verifiable Self-Certifying Autonomous Systems

Verifying Brahms Human-Robot Teamwork Models

scientific article published in 2012

Verifying Multi-agent Programs by Model Checking

scientific article published on 24 February 2006

Verifying and Validating Autonomous Systems: Towards an Integrated Approach

Verifying autonomous systems

scientific article published in September 2013

Where logic and agents meet

scientific article published in January 2011

“How Did They Know?”—Model-Checking for Analysis of Information Leakage in Social Networks

“The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours