Michael Fisher

According to our database1, Michael Fisher authored at least 189 papers between 1989 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Two-stage agent program verification.
J. Log. Comput., 2018

Multi-Scale Verification of Distributed Synchronisation.
CoRR, 2018

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
CoRR, 2018

Robotics and Integrated Formal Methods: Necessity meets Opportunity.
CoRR, 2018

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
CoRR, 2018

Making Sense of the World: Models for Reliable Sensor-Driven Systems.
CoRR, 2018

Practical Challenges in Explicit Ethical Machine Reasoning.
CoRR, 2018

Practical Challenges in Explicit Ethical Machine Reasoning.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Recognising Assumption Violations in Autonomous Systems Verification.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Formal verification of autonomous vehicle platooning.
Sci. Comput. Program., 2017

Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior.
CoRR, 2017

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
CoRR, 2017

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Towards Moral Autonomous Systems.
CoRR, 2017

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.
IEEE Trans. Human-Machine Systems, 2016

Formal verification of ethical choices in autonomous systems.
Robotics and Autonomous Systems, 2016

Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222).
Dagstuhl Reports, 2016

An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
CoRR, 2016

Formal Verification of Autonomous Vehicle Platooning.
CoRR, 2016

Practical verification of decision-making in agent-based autonomous systems.
Autom. Softw. Eng., 2016

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

2015
A roadmap to pervasive systems verification.
Knowledge Eng. Review, 2015

An abstract formal basis for digital crowds.
Distributed and Parallel Databases, 2015

Towards Verifiably Ethical Robot Behaviour.
CoRR, 2015

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Towards Verifiably Ethical Robot Behaviour.
Proceedings of the Artificial Intelligence and Ethics, 2015

2014
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII).
J. Log. Comput., 2014

Reconfigurable Autonomy.
KI, 2014

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation.
J. Aerospace Inf. Sys., 2014

Formal verification of a pervasive messaging system.
Formal Asp. Comput., 2014

An Abstract Formal Basis for Digital Crowds.
CoRR, 2014

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours.
Proceedings of the Advances in Autonomous Robotics Systems - 15th Annual Conference, 2014

Actions with Durations and Failures in BDI Languages.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On and On the Temporal Way.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013
Combined model checking for temporal, probabilistic, and real-time logics.
Theor. Comput. Sci., 2013

Deductive temporal reasoning with constraints.
J. Applied Logic, 2013

Practical Verification of Decision-Making in Agent-Based Autonomous Systems.
CoRR, 2013

Autonomous Asteroid Exploration by Rational Agents.
IEEE Comp. Int. Mag., 2013

Verifying autonomous systems.
Commun. ACM, 2013

Ethical Choice in Unforeseen Circumstances.
Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013

Using Agent JPF to Build Models for Other Model Checkers.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Agent reasoning for norm compliance: a semantic approach.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Analysing robot swarm behaviour via probabilistic model checking.
Robotics and Autonomous Systems, 2012

Towards temporal verification of swarm robotic systems.
Robotics and Autonomous Systems, 2012

Model checking agent programming languages.
Autom. Softw. Eng., 2012

Symmetric Temporal Theorem Proving.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Verifying Brahms Human-Robot Teamwork Models.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.
Proceedings of the Infotech@Aerospace 2012, 2012

2011
Agent deliberation in an executable temporal framework.
J. Applied Logic, 2011

Where logic and agents meet.
Ann. Math. Artif. Intell., 2011

Preface.
Ann. Math. Artif. Intell., 2011

Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification.
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems.
Proceedings of the Towards Autonomous Robotic Systems - 12th Annual Conference, 2011

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011

A Formal Semantics for Brahms.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

An Introduction to Practical Formal Methods Using Temporal Logic.
Wiley, ISBN: 978-0-470-02788-2, 2011

2010
Satellite Control Using Rational Agent Programming.
IEEE Intelligent Systems, 2010

Executable specifications of resource-bounded agents.
Autonomous Agents and Multi-Agent Systems, 2010

Declarative Abstractions for Agent Based Hybrid Control Systems.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Formal Verification of Probabilistic Swarm Behaviours.
Proceedings of the Swarm Intelligence - 7th International Conference, 2010

An agent based framework for adaptive control and decision making of autonomous vehicles.
Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

2009
Temporal Verification of Fault-Tolerant Protocols.
Proceedings of the Methods, 2009

Uncertain Agent Verification through Probabilistic Model-Checking.
Proceedings of the Safety and Security in Multiagent Systems, 2009

Property-based Slicing for Agent Verification.
J. Log. Comput., 2009

Exploring the Future with Resource-Bounded Agents.
Journal of Logic, Language and Information, 2009

Deductive verification of simple foraging robotic behaviours.
Int. J. Intelligent Computing and Cybernetics, 2009

Towards the Verification of Pervasive Systems.
ECEASST, 2009

Agent Based Approaches to Engineering Autonomous Space Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Formal verification of human-robot teamwork.
Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, 2009

Taming the Complexity of Temporal Epistemic Reasoning.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Executing Logical Agent Specifications.
Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008
Temporal Representation and Reasoning.
Proceedings of the Handbook of Knowledge Representation, 2008

Specifying and reasoning about uncertain agents.
Int. J. Approx. Reasoning, 2008

Practical First-Order Temporal Reasoning.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Programming Verifiable Heterogeneous Agent Systems.
Proceedings of the Programming Multi-Agent Systems, 2008

Automated Verification of Multi-Agent Programs.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A flexible framework for verifying agent programs.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Logic-Based Agent Verification.
J. Applied Logic, 2007

Temporal Logics of Knowledge and their Applications in Security.
Electr. Notes Theor. Comput. Sci., 2007

Efficient First-Order Temporal Logic for Infinite-State Systems
CoRR, 2007

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.
Computational Intelligence, 2007

Logics in AI: post-proceedings JELIA06 (Editorial).
Ann. Math. Artif. Intell., 2007

A Common Semantic Basis for BDI Languages.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

A Common Basis for Agent Organisation in BDI Languages.
Proceedings of the Languages, 2007

Tractable Temporal Reasoning.
Proceedings of the IJCAI 2007, 2007

Temporal Logic with Capacity Constraints.
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Language Constructs for Multi-agent Programming.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006
Monodic temporal resolution.
ACM Trans. Comput. Log., 2006

Model Checking for Multiagent Systems: the Mable Language and its Applications.
International Journal on Artificial Intelligence Tools, 2006

Automated Game Analysis via Probabilistic Model Checking: a case study.
Electr. Notes Theor. Comput. Sci., 2006

Guest editorial: Temporal representation and reasoning.
Ann. Math. Artif. Intell., 2006

Verifying Multi-agent Programs by Model Checking.
Autonomous Agents and Multi-Agent Systems, 2006

Is There a Future for Deductive Temporal Verification?
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2005
Temporal Reasoning in Agent-Based Systems.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

First-Order Temporal Verification in Practice.
J. Autom. Reasoning, 2005

Mechanising first-order temporal resolution.
Inf. Comput., 2005

Alternating automata and temporal logic normal forms.
Ann. Pure Appl. Logic, 2005

Practical Infinite-State Verification with Temporal Reasoning.
Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

MetateM: The Story so Far.
Proceedings of the Programming Multi-Agent Systems, 2005

Logical Implementation of Uncertain Agents.
Proceedings of the Progress in Artificial Intelligence, 2005

Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
Editorial.
J. Log. Comput., 2004

Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.
Journal of Applied Non-Classical Logics, 2004

Model Checking Rational Agents.
IEEE Intelligent Systems, 2004

Introduction.
Ann. Math. Artif. Intell., 2004

Temporal Development Methods for Agent-Based.
Autonomous Agents and Multi-Agent Systems, 2004

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Practical Reasoning for Uncertain Agents.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Organising Software in Active Environments.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Programming Groups of Rational Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

State-Space Reduction Techniques in Agent Verification.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Monodic ASMs and Temporal Verification.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

Resolution for Synchrony and No Learning.
Proceedings of the Advances in Modal Logic 5, 2004

2003
Monodic temporal resolution
CoRR, 2003

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Verifiable Multi-agent Programs.
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Handling Equality in Monodic Temporal Resolution.
Proceedings of the Logic for Programming, 2003

Organising Computation through Dynamic Grouping.
Proceedings of the Objects, 2003

Model Checking Multi-Agent Programs with CASP.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Monodic Temporal Resolution.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

Model checking agentspeak.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Equality and Monodic First-Order Temporal Logic.
Studia Logica, 2002

On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.
J. Log. Comput., 2002

Combinations of Modal Logics.
Artif. Intell. Rev., 2002

Clausal resolution in a logic of rational agency.
Artif. Intell., 2002

Agents with Bounded Temporal Resources.
Proceedings of the Foundations and Applications of Multi-Agent Systems, 2002

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Searching for Invariants Using Temporal Resolution.
Proceedings of the Logic for Programming, 2002

Algorithms for Guiding Clausal Temporal Resolution.
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

Organising Logic-Based Agents.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Model checking multi-agent systems with MABLE.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

The abc of rational agent modelling.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Clausal temporal resolution.
ACM Trans. Comput. Log., 2001

Reasoning about agents in the KARO framework.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Towards First-Order Temporal Resolution.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Normal Forms and Proofs in Combined Modal and Temporal Logics.
Proceedings of the Frontiers of Combining Systems, 2000

Verification within the KARO Agent Theory.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Direct Execution of Agent Specifications.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Propositional Temporal Resolution Revised.
Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999
A clausal resolution method for CTL branching-time temporal logic.
J. Exp. Theor. Artif. Intell., 1999

Clausal Temporal Resolution
CoRR, 1999

Clausal Resolution for CTL*.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Programming Resource-Bounded Deliberative Agents.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Resolution for Temporal Logics of Knowledge.
J. Log. Comput., 1998

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.
Journal of Applied Non-Classical Logics, 1998

The Set of Support Strategy in Temporal Resolution.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Parallel Temporal Tableaux.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

Representing Abstract Agent Architectures.
Proceedings of the Intelligent Agents V, 1998

1997
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution.
J. Log. Comput., 1997

Formalisms for multi-agent systems.
Knowledge Eng. Review, 1997

Methodological foundations for agent-based systems.
Knowledge Eng. Review, 1997

On the Formal Specification and Verification of Multi-Agent Systems.
Int. J. Cooperative Inf. Syst., 1997

Automata Representations for Concurrent METATEM.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

A Resolution Method For CTL Branching-Time Temporal Logic.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Tableaux for Synchronous Systems of Knowledge and Time with Interactions.
SCAI, 1997

Distributed Problem-Solving as Concurrent Theorem Proving.
Proceedings of the Multi-Agent Rationality, 1997

Implementing BDI-like Systems by Direct Execution.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Concurrent METATEM as a Coordination Language.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Agent Modelling in METATEM and DESIRE.
Proceedings of the Intelligent Agents IV, 1997

1996
An introduction to executable temporal logics.
Knowledge Eng. Review, 1996

Temporal Semantics for Concurrent Metatem.
J. Symb. Comput., 1996

Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the IGPL, 1996

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
Proceedings of the Practical Reasoning, 1996

If Z Is the Answer, What Could the Question Possibly Be?
Proceedings of the Intelligent Agents III, 1996

1995
METATEM: An Introduction.
Formal Asp. Comput., 1995

Graph Structure Management in Parallel Symbolic Systems.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994
A Decision Procedure for a Temporal Belief Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

A Survey of Concurrent METATEM - the Language and its Applications.
Proceedings of the Temporal Logic, First International Conference, 1994

A Graph-Based Approach to Resolution in Temporal Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

Representing and Executing Agent-Based Systems.
Proceedings of the Intelligent Agents, 1994

1993
Concurrent METATEM - A Language for Modelling Reactive Systems.
Proceedings of the PARLE '93, 1993

An Introduction to Executable Modal and Temporal Logics.
Proceedings of the Executable Modal and Temporal Logics, 1993

Towards a Semantics for Concurrent METATEM.
Proceedings of the Executable Modal and Temporal Logics, 1993

Specifying and Verifying Distributed Intelligence Systems.
Proceedings of the Progress in Artificial Intelligence, 1993

1992
A Model Checker for Linear Time Temporal Logic.
Formal Asp. Comput., 1992

From the Past to the Future: Executing Temporal Logic Programs.
Proceedings of the Logic Programming and Automated Reasoning, 1992

A First-Order Branching Time Logic of Multi-Agent System.
ECAI, 1992

A Normal Form for First-Order Temporal Formulae.
Proceedings of the Automated Deduction, 1992

1991
Meta-Reasoning in Executable Temporal Logic.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

A Resolution Method for Temporal Logic.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1989
METATEM: A Framework for Programming in Temporal Logic.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Fair SMG and Linear Time Model Checking.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989


  Loading...