Fair SMG and Linear Time Model Checking. - Howard Barringer; Michael Fisher 001; Graham Gough (Automatic Verification Methods for Finite State Systems, 1989)

METATEM: A Framework for Programming in Temporal Logic. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (REX Workshop, 1989)

A Resolution Method for Temporal Logic. - Michael Fisher 001 (IJCAI, 1991)

Meta-Reasoning in Executable Temporal Logic. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Anthony Hunter (KR, 1991)

A Normal Form for First-Order Temporal Formulae. - Michael Fisher 001 (CADE, 1992)

A First-Order Branching Time Logic of Multi-Agent System. - Michael J. Wooldridge; Michael Fisher 001 (ECAI, 1992)

From the Past to the Future: Executing Temporal Logic Programs. - Michael Fisher 001; Richard Owens (LPAR, 1992)

A Model Checker for Linear Time Temporal Logic. - Michael Fisher 001 (Formal Aspects Comput., 1992)

Specifying and Verifying Distributed Intelligence Systems. - Michael Fisher 001; Michael J. Wooldridge (EPIA, 1993)

Towards a Semantics for Concurrent METATEM. - Michael Fisher 001 (Executable Modal and Temporal Logics, 1993)

An Introduction to Executable Modal and Temporal Logics. - Michael Fisher 001; Richard Owens (Executable Modal and Temporal Logics, 1993)

Concurrent METATEM - A Language for Modelling Reactive Systems. - Michael Fisher 001 (PARLE, 1993)

Representing and Executing Agent-Based Systems. - Michael Fisher 001 (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

A Graph-Based Approach to Resolution in Temporal Logic. - Clare Dixon; Michael Fisher 001; Howard Barringer (ICTL, 1994)

A Survey of Concurrent METATEM - the Language and its Applications. - Michael Fisher 001 (ICTL, 1994)

A Decision Procedure for a Temporal Belief Logic. - Michael J. Wooldridge; Michael Fisher 001 (ICTL, 1994)

Graph Structure Management in Parallel Symbolic Systems. - Michael Fisher 001; Robert Johnson; John A. Keane (Parallel and Distributed Computing and Systems, 1995)

METATEM: An Introduction. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (Formal Aspects Comput., 1995)

If Z Is the Answer, What Could the Question Possibly Be? - Michael Fisher 001 (ATAL, 1996)

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. - Michael Fisher 001; Michael J. Wooldridge; Clare Dixon (FAPR, 1996)

Languages, Meta-languages and METATEM, A Discussion Paper. - Howard Barringer; Graham Gough; Derek Brough; Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter; Richard Owens; Peter McBrien; Mark Reynolds 001; Michael Fisher 001 (Log. J. IGPL, 1996)

Temporal Semantics for Concurrent Metatem. - Michael Fisher 001 (J. Symb. Comput., 1996)

An introduction to executable temporal logics. - Michael Fisher 001 (Knowl. Eng. Rev., 1996)

An alternative approach to concurrent theorem-proving. - Michael Fisher 001 (Parallel Processing for Artificial Intelligence 3, 1997)

Agent Modelling in METATEM and DESIRE. - Marco Mulder; Jan Treur; Michael Fisher 001 (ATAL, 1997)

Concurrent METATEM as a Coordination Language. - Adam Kellett; Michael Fisher 001 (COORDINATION, 1997)

Implementing BDI-like Systems by Direct Execution. - Michael Fisher 001 (IJCAI (1), 1997)

Distributed Problem-Solving as Concurrent Theorem Proving. - Michael Fisher 001; Michael J. Wooldridge (MAAMAW, 1997)

Tableaux for Synchronous Systems of Knowledge and Time with Interactions. - Clare Dixon; Michael Fisher 001 (SCAI, 1997)

A Resolution Method For CTL Branching-Time Temporal Logic. - Alexander Bolotov; Michael Fisher 001 (TIME, 1997)

Automata Representations for Concurrent METATEM. - Adam Kellett; Michael Fisher 001 (TIME, 1997)

On the Formal Specification and Verification of Multi-Agent Systems. - Michael Fisher 001; Michael J. Wooldridge (Int. J. Cooperative Inf. Syst., 1997)

Methodological foundations for agent-based systems. - Michael Fisher 001; Jörg P. Müller; Michael Schroeder 001; Geof Staniford; Gerd Wagner 001 (Knowl. Eng. Rev., 1997)

Formalisms for multi-agent systems. - Mark d'Inverno; Michael Fisher 001; Alessio Lomuscio; Michael Luck; Maarten de Rijke; Mark Ryan 001; Michael J. Wooldridge (Knowl. Eng. Rev., 1997)

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

Representing Abstract Agent Architectures. - Michael Fisher 001 (ATAL, 1998)

Parallel Temporal Tableaux. - R. I. Scott; Michael Fisher 001; John A. Keane (Euro-Par, 1998)

The Set of Support Strategy in Temporal Resolution. - Clare Dixon; Michael Fisher 001 (TIME, 1998)

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. - Michael J. Wooldridge; Clare Dixon; Michael Fisher 001 (J. Appl. Non Class. Logics, 1998)

Foundations of Multi-Agent Systems: Techniques, Tools and Theory. - Michael Luck; Mark d'Inverno; Michael Fisher 001 (Knowl. Eng. Rev., 1998)

Resolution for Temporal Logics of Knowledge. - Clare Dixon; Michael Fisher 001; Michael J. Wooldridge (J. Log. Comput., 1998)

Programming Resource-Bounded Deliberative Agents. - Michael Fisher 001; Chiara Ghidini (IJCAI, 1999)

Clausal Resolution for CTL*. - Alexander Bolotov; Clare Dixon; Michael Fisher 001 (MFCS, 1999)

A clausal resolution method for CTL branching-time temporal logic. - Alexander Bolotov; Michael Fisher 001 (J. Exp. Theor. Artif. Intell., 1999)

Continuing research in multi-agent systems. - Keith Decker; Michael Fisher 001; Michael Luck; Moshe Tennenholtz (Knowl. Eng. Rev., 1999)

Propositional Temporal Resolution Revised. - Anatoli Degtyarev; Michael Fisher 001 (ARW, 2000)

Direct Execution of Agent Specifications. - Michael Fisher 001 (FAABS, 2000)

Verification within the KARO Agent Theory. - Ullrich Hustadt; Clare Dixon; Renate A. Schmidt; Michael Fisher 001; John-Jules Ch. Meyer; Wiebe van der Hoek (FAABS, 2000)

Normal Forms and Proofs in Combined Modal and Temporal Logics. - Ullrich Hustadt; Clare Dixon; Renate A. Schmidt; Michael Fisher 001 (FroCoS, 2000)

Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report. - Michael Fisher 001 (ICMAS, 2000)

Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. - Clare Dixon; Michael Fisher 001 (TIME, 2000)

Towards First-Order Temporal Resolution. - Anatoli Degtyarev; Michael Fisher 001 (KI/ÖGAI, 2001)

Reasoning about agents in the KARO framework. - Ullrich Hustadt; Clare Dixon; Renate A. Schmidt; Michael Fisher 001; John-Jules Ch. Meyer; Wiebe van der Hoek (TIME, 2001)

Clausal temporal resolution. - Michael Fisher 001; Clare Dixon; Martin Peim (ACM Trans. Comput. Log., 2001)

The abc of rational agent modelling. - Michael Fisher 001; Chiara Ghidini (AAMAS, 2002)

Model checking multi-agent systems with MABLE. - Michael J. Wooldridge; Michael Fisher 001; Marc-Philippe Huget; Simon Parsons (AAMAS, 2002)

Organising Logic-Based Agents. - Michael Fisher 001; Chiara Ghidini; Benjamin Hirsch (FAABS, 2002)

Algorithms for Guiding Clausal Temporal Resolution. - M. Carmen Fernández Gago; Michael Fisher 001; Clare Dixon (KI, 2002)

Searching for Invariants Using Temporal Resolution. - James Brotherston; Anatoli Degtyarev; Michael Fisher 001; Alexei Lisitsa 001 (LPAR, 2002)

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. - Anatoli Degtyarev; Michael Fisher 001; Boris Konev (TABLEAUX, 2002)

Agents with Bounded Temporal Resources. - Michael Fisher 001; Chiara Ghidini (Foundations and Applications of Multi-Agent Systems, 2002)

Clausal resolution in a logic of rational agency. - Clare Dixon; Michael Fisher 001; Alexander Bolotov (Artif. Intell., 2002)

Combinations of Modal Logics. - Brandon Bennett; Clare Dixon; Michael Fisher 001; Ullrich Hustadt; Enrico Franconi; Ian Horrocks 001; Maarten de Rijke (Artif. Intell. Rev., 2002)

On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. - Alexander Bolotov; Michael Fisher 001; Clare Dixon (J. Log. Comput., 2002)

Equality and Monodic First-Order Temporal Logic. - Anatoli Degtyarev; Michael Fisher 001; Alexei Lisitsa 001 (Stud Logica, 2002)

Model checking agentspeak. - Rafael H. Bordini; Michael Fisher 001; Carmen Pardavila; Michael J. Wooldridge (AAMAS, 2003)

Model Checking Multi-Agent Programs with CASP. - Rafael H. Bordini; Michael Fisher 001; Carmen Pardavila; Willem Visser; Michael J. Wooldridge (CAV, 2003)

Organising Computation through Dynamic Grouping. - Michael Fisher 001; Chiara Ghidini; Benjamin Hirsch (Objects, Agents, and Features, 2003)

Handling Equality in Monodic Temporal Resolution. - Boris Konev; Anatoli Degtyarev; Michael Fisher 001 (LPAR, 2003)

Verifiable Multi-agent Programs. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (PROMAS, 2003)

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. - Clare Dixon; Cláudia Nalon; Michael Fisher 001 (TIME, 2003)

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. - Boris Konev; Anatoli Degtyarev; Clare Dixon; Michael Fisher 001; Ullrich Hustadt (TIME, 2003)

Resolution for Synchrony and No Learning. - Cláudia Nalon; Clare Dixon; Michael Fisher 001 (Advances in Modal Logic, 2004)

Monodic ASMs and Temporal Verification. - Michael Fisher 001; Alexei Lisitsa 001 (Abstract State Machines, 2004)

State-Space Reduction Techniques in Agent Verification. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (AAMAS, 2004)

Programming Groups of Rational Agents. - Michael Fisher 001; Chiara Ghidini; Benjamin Hirsch (CLIMA, 2004)

Organising Software in Active Environments. - Benjamin Hirsch; Michael Fisher 001; Chiara Ghidini; Paolo Busetta (CLIMA, 2004)

Practical Reasoning for Uncertain Agents. - Nivea de Carvalho Ferreira; Michael Fisher 001; Wiebe van der Hoek (JELIA, 2004)

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. - Clare Dixon; M. Carmen Fernández Gago; Michael Fisher 001; Wiebe van der Hoek (TIME, 2004)

Temporal Development Methods for Agent-Based. - Michael Fisher 001 (Auton. Agents Multi Agent Syst., 2004)

Introduction. - Jürgen Dix; Michael Fisher 001; Hector J. Levesque; Leon Sterling (Ann. Math. Artif. Intell., 2004)

Model Checking Rational Agents. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (IEEE Intell. Syst., 2004)

Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. - Clare Dixon; Cláudia Nalon; Michael Fisher 001 (J. Appl. Non Class. Logics, 2004)

Editorial. - Alessandro Artale; Clare Dixon; Michael Fisher 001; Enrico Franconi (J. Log. Comput., 2004)

Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). - Michael Fisher 001 (CLIMA, 2005)

Logical Implementation of Uncertain Agents. - Nivea de Carvalho Ferreira; Michael Fisher 001; Wiebe van der Hoek (EPIA, 2005)

MetateM: The Story so Far. - Michael Fisher 001 (PROMAS, 2005)

Practical Infinite-State Verification with Temporal Reasoning. - Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (VISSAS, 2005)

Alternating automata and temporal logic normal forms. - Clare Dixon; Alexander Bolotov; Michael Fisher 001 (Ann. Pure Appl. Log., 2005)

Automated Game Analysis via Probabilistic Model Checking: a case study. - Paolo Ballarini; Michael Fisher 001; Michael J. Wooldridge (MoChArt@CONCUR/SPIN, 2005)

Mechanising first-order temporal resolution. - Boris Konev; Anatoli Degtyarev; Clare Dixon; Michael Fisher 001; Ullrich Hustadt (Inf. Comput., 2005)

First-Order Temporal Verification in Practice. - M. Carmen Fernández Gago; Ullrich Hustadt; Clare Dixon; Michael Fisher 001; Boris Konev (J. Autom. Reason., 2005)

Temporal Reasoning in Agent-Based Systems. - Michael Fisher 001; Michael J. Wooldridge (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

Is There a Future for Deductive Temporal Verification? - Clare Dixon; Michael Fisher 001; Boris Konev (TIME, 2006)

Verifying Multi-agent Programs by Model Checking. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2006)

Guest editorial: Temporal representation and reasoning. - Maroua Bouzid; Carlo Combi; Michael Fisher 001; Gérard Ligozat (Ann. Math. Artif. Intell., 2006)

Temporal Logics of Knowledge and their Applications in Security. - Clare Dixon; M. Carmen Fernández Gago; Michael Fisher 001; Wiebe van der Hoek (ICS@SYNASC, 2006)

Model Checking for Multiagent Systems: the Mable Language and its Applications. - Michael J. Wooldridge; Marc-Philippe Huget; Michael Fisher 001; Simon Parsons (Int. J. Artif. Intell. Tools, 2006)

Monodic temporal resolution. - Anatoli Degtyarev; Michael Fisher 001; Boris Konev (ACM Trans. Comput. Log., 2006)

Language Constructs for Multi-agent Programming. - Louise A. Dennis; Michael Fisher 001; Anthony Hepple (CLIMA, 2007)

Temporal Logic with Capacity Constraints. - Clare Dixon; Michael Fisher 001; Boris Konev (FroCoS, 2007)

Tractable Temporal Reasoning. - Clare Dixon; Michael Fisher 001; Boris Konev (IJCAI, 2007)

A Common Basis for Agent Organisation in BDI Languages. - Anthony Hepple; Louise A. Dennis; Michael Fisher 001 (LADS, 2007)

A Common Semantic Basis for BDI Languages. - Louise A. Dennis; Berndt Farwer; Rafael H. Bordini; Michael Fisher 001; Michael J. Wooldridge (PROMAS, 2007)

Logics in AI: post-proceedings JELIA06 (Editorial). - Michael Fisher 001; Wiebe van der Hoek (Ann. Math. Artif. Intell., 2007)

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. - Michael Fisher 001; Rafael H. Bordini; Benjamin Hirsch; Paolo Torroni (Comput. Intell., 2007)

Efficient First-Order Temporal Logic for Infinite-State Systems - Clare Dixon; Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (CoRR, 2007)

Logic-Based Agent Verification. - Michael Fisher 001; Munindar P. Singh; Diana F. Spears; Michael J. Wooldridge (J. Appl. Log., 2007)

A flexible framework for verifying agent programs. - Louise A. Dennis; Berndt Farwer; Rafael H. Bordini; Michael Fisher 001 (AAMAS (3), 2008)

Automated Verification of Multi-Agent Programs. - Rafael H. Bordini; Louise A. Dennis; Berndt Farwer; Michael Fisher 001 (ASE, 2008)

Programming Verifiable Heterogeneous Agent Systems. - Louise A. Dennis; Michael Fisher 001 (ProMAS, 2008)

Practical First-Order Temporal Reasoning. - Clare Dixon; Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (TIME, 2008)

Specifying and reasoning about uncertain agents. - Nivea de Carvalho Ferreira; Michael Fisher 001; Wiebe van der Hoek (Int. J. Approx. Reason., 2008)

Temporal Representation and Reasoning. - Michael Fisher 001 (Handbook of Knowledge Representation, 2008)

Executing Logical Agent Specifications. - Michael Fisher 001; Anthony Hepple (Multi-Agent Programming, Languages, Tools and Applications, 2009)

Taming the Complexity of Temporal Epistemic Reasoning. - Clare Dixon; Michael Fisher 001; Boris Konev (FroCoS, 2009)

Formal verification of human-robot teamwork. - Rafael H. Bordini; Michael Fisher 001; Maarten Sierhuis (HRI, 2009)

Agent Based Approaches to Engineering Autonomous Space Software - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (FMA, 2009)

Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Deductive verification of simple foraging robotic behaviours. - Abdelkader Behdenna; Clare Dixon; Michael Fisher 001 (Int. J. Intell. Comput. Cybern., 2009)

Exploring the Future with Resource-Bounded Agents. - Michael Fisher 001; Chiara Ghidini (J. Log. Lang. Inf., 2009)

Property-based Slicing for Agent Verification. - Rafael H. Bordini; Michael Fisher 001; Michael J. Wooldridge; Willem Visser (J. Log. Comput., 2009)

Uncertain Agent Verification through Probabilistic Model-Checking. - Paolo Ballarini; Michael Fisher 001; Michael J. Wooldridge (Safety and Security in Multiagent Systems, 2009)

Temporal Verification of Fault-Tolerant Protocols. - Michael Fisher 001; Boris Konev; Alexei Lisitsa 001 (Methods, Models and Tools for Fault Tolerance, 2009)

An agent based framework for adaptive control and decision making of autonomous vehicles. - Nicholas Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (ALCOSP, 2010)

Formal Verification of Probabilistic Swarm Behaviours. - Savas Konur; Clare Dixon; Michael Fisher 001 (ANTS Conference, 2010)

Declarative Abstractions for Agent Based Hybrid Control Systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (DALT, 2010)

Executable specifications of resource-bounded agents. - Michael Fisher 001; Chiara Ghidini (Auton. Agents Multi Agent Syst., 2010)

Satellite Control Using Rational Agent Programming. - Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001; Nicholas Lincoln; Sandor M. Veres (IEEE Intell. Syst., 2010)

An Introduction to Practical Formal Methods Using Temporal Logic. - Michael Fisher 001 (Wiley, 2011)

A Formal Semantics for Brahms. - Richard Stocker 001; Maarten Sierhuis; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (CLIMA, 2011)

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. - Matthew P. Webster; Michael Fisher 001; Neil Cameron; Mike Jump (SAFECOMP, 2011)

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. - Clare Dixon; Alan F. T. Winfield; Michael Fisher 001 (TAROS, 2011)

Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. - Savas Konur; Michael Fisher 001 (VTC Spring, 2011)

Preface. - Manuela-Luminita Bujorianu; Michael Fisher 001; Corina S. Pasareanu (Ann. Math. Artif. Intell., 2011)

Where logic and agents meet. - Jürgen Dix; Michael Fisher 001 (Ann. Math. Artif. Intell., 2011)

Agent deliberation in an executable temporal framework. - Michael Fisher 001 (J. Appl. Log., 2011)

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. - Matt Webster; Neil Cameron; Michael Jump; Michael Fisher 001 (Infotech@Aerospace, 2012)

Verifying Brahms Human-Robot Teamwork Models. - Richard Stocker 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (JELIA, 2012)

Symmetric Temporal Theorem Proving. - Amir Niknafs-Kermani; Boris Konev; Michael Fisher 001 (TIME, 2012)

Model checking agent programming languages. - Louise A. Dennis; Michael Fisher 001; Matthew P. Webster; Rafael H. Bordini (Autom. Softw. Eng., 2012)

Towards temporal verification of swarm robotic systems. - Clare Dixon; Alan F. T. Winfield; Michael Fisher 001; Chengxiu Zeng (Robotics Auton. Syst., 2012)

Analysing robot swarm behaviour via probabilistic model checking. - Savas Konur; Clare Dixon; Michael Fisher 001 (Robotics Auton. Syst., 2012)

Agent reasoning for norm compliance: a semantic approach. - M. Birna van Riemsdijk; Louise A. Dennis; Michael Fisher 001; Koen V. Hindriks (AAMAS, 2013)

Using Agent JPF to Build Models for Other Model Checkers. - Louise A. Dennis; Michael Fisher 001; Matthew P. Webster (CLIMA, 2013)

Ethical Choice in Unforeseen Circumstances. - Louise A. Dennis; Michael Fisher 001; Marija Slavkovik 001; Matthew P. Webster (TAROS, 2013)

Verifying autonomous systems. - Michael Fisher 001; Louise A. Dennis; Matthew P. Webster (Commun. ACM, 2013)

Autonomous Asteroid Exploration by Rational Agents. - Nick K. Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (IEEE Comput. Intell. Mag., 2013)

Deductive temporal reasoning with constraints. - Clare Dixon; Boris Konev; Michael Fisher 001; Sherly Nietiadi (J. Appl. Log., 2013)

Combined model checking for temporal, probabilistic, and real-time logics. - Savas Konur; Michael Fisher 001; Sven Schewe (Theor. Comput. Sci., 2013)

Formal Verification of an Autonomous Personal Robotic Assistant. - Matt Webster; Clare Dixon; Michael Fisher 001; Maha Salem; Joe Saunders; Kheng Lee Koay; Kerstin Dautenhahn (AAAI Spring Symposia, 2014)

On and On the Temporal Way. - Clare Dixon; Michael Fisher 001 (HOWARD-60, 2014)

Actions with Durations and Failures in BDI Languages. - Louise A. Dennis; Michael Fisher 001 (ECAI, 2014)

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. - Clare Dixon; Matthew P. Webster; Joe Saunders; Michael Fisher 001; Kerstin Dautenhahn (TAROS, 2014)

Formal verification of a pervasive messaging system. - Savas Konur; Michael Fisher 001; Simon Dobson; Stephen Knox (Formal Aspects Comput., 2014)

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. - Matthew P. Webster; Neil Cameron; Michael Fisher 001; Mike Jump (J. Aerosp. Inf. Syst., 2014)

Reconfigurable Autonomy. - Louise A. Dennis; Michael Fisher 001; Jonathan M. Aitken; Sandor M. Veres; Yang Gao 002; Affan Shaukat; Guy Burroughes (Künstliche Intell., 2014)

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). - Michael Fisher 001; Leendert W. N. van der Torre; Mehdi Dastani; Guido Governatori (J. Log. Comput., 2014)

Towards Verifiably Ethical Robot Behaviour. - Louise Abigail Dennis; Michael Fisher 001; Alan F. T. Winfield (AAAI Workshop: AI and Ethics, 2015)

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. - M. Birna van Riemsdijk; Louise A. Dennis; Michael Fisher 001; Koen V. Hindriks (AAMAS, 2015)

An abstract formal basis for digital crowds. - Marija Slavkovik 001; Louise A. Dennis; Michael Fisher 001 (Distributed Parallel Databases, 2015)

A roadmap to pervasive systems verification. - Savas Konur; Michael Fisher 001 (Knowl. Eng. Rev., 2015)

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. - Louise A. Dennis; Marija Slavkovik 001; Michael Fisher 001 (COIN@AAMAS/ECAI, 2016)

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. - Louise A. Dennis; Jonathan M. Aitken; Joe Collenette; Elisa Cucco; Maryam Kamali; Owen McAree; Affan Shaukat; Katie Atkinson; Yang Gao 002; Sandor M. Veres; Michael Fisher 001 (TAROS, 2016)

Practical verification of decision-making in agent-based autonomous systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (Autom. Softw. Eng., 2016)

An Assurance-based Approach to Verification and Validation of Human-Robot Teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (CoRR, 2016)

Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222). - Michael Fisher 001; Christian List; Marija Slavkovik 001; Alan F. T. Winfield (Dagstuhl Reports, 2016)

Formal verification of ethical choices in autonomous systems. - Louise A. Dennis; Michael Fisher 001; Marija Slavkovik 001; Matt Webster (Robotics Auton. Syst., 2016)

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. - Matt Webster; Clare Dixon; Michael Fisher 001; Maha Salem; Joe Saunders; Kheng Lee Koay; Kerstin Dautenhahn; Joan Saez-Pons (IEEE Trans. Hum. Mach. Syst., 2016)

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. - Paul Gainer; Clare Dixon; Kerstin Dautenhahn; Michael Fisher 001; Ullrich Hustadt; Joe Saunders; Matt Webster (FMICS-AVoCS, 2017)

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (QEST, 2017)

Towards Moral Autonomous Systems. - Vicky Charisi; Louise A. Dennis; Michael Fisher 001; Robert Lieck; Andreas Matthias; Marija Slavkovik 001; Janina Sombetzki; Alan F. T. Winfield; Roman Yampolskiy (CoRR, 2017)

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. - Lucas E. R. Fernandes; Vinicius Custodio; Gleifer V. Alves; Michael Fisher 001 (FVAV@iFM, 2017)

Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. - Omar I. Al-Bataineh; Michael Fisher 001; David S. Rosenblum (CoRR, 2017)

Formal verification of autonomous vehicle platooning. - Maryam Kamali; Louise A. Dennis; Owen McAree; Michael Fisher 001; Sandor M. Veres (Sci. Comput. Program., 2017)

Recognising Assumption Violations in Autonomous Systems Verification. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (AAMAS, 2018)

Slicing Agent Programs for More Efficient Verification. - Michael Winikoff; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2018)

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. - Maryam Kamali; Sven Linker; Michael Fisher 001 (FTSCS, 2018)

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (ICFEM, 2018)

Robotics and Integrated Formal Methods: Necessity Meets Opportunity. - Marie Farrell; Matt Luckcuck; Michael Fisher 001 (IFM, 2018)

Practical Challenges in Explicit Ethical Machine Reasoning. - Louise A. Dennis; Michael Fisher 001 (ISAIM, 2018)

Verifiable Self-Certifying Autonomous Systems. - Michael Fisher 001; Emily C. Collins 001; Louise A. Dennis; Matt Luckcuck; Matt Webster; Mike Jump; Vincent Pagé; Charles Patchett; Fateme Dinmohammadi; David Flynn; Valentin Robu; Xingyu Zhao 001 (ISSRE Workshops, 2018)

Verifying and Validating Autonomous Systems: Towards an Integrated Approach. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (RV, 2018)

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. - Muffy Calder; Simon Dobson; Michael Fisher 001; Julie A. McCann (Comput., 2018)

Making Sense of the World: Models for Reliable Sensor-Driven Systems. - Muffy Calder; Simon Dobson; Michael Fisher 001; Julie A. McCann (CoRR, 2018)

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. - Matt Webster; Michael Breza; Clare Dixon; Michael Fisher 001; Julie A. McCann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Autonomous Nuclear Waste Management. - Jonathan M. Aitken; Sandor M. Veres; Affan Shaukat; Yang Gao 002; Elisa Cucco; Louise A. Dennis; Michael Fisher 001; Jeffrey A. Kuo; Thomas Robinson; Paul E. Mort (IEEE Intell. Syst., 2018)

Two-stage agent program verification. - Louise A. Dennis; Michael Fisher 001; Matt Webster (J. Log. Comput., 2018)

Probabilistic Model Checking of Robots Deployed in Extreme Environments. - Xingyu Zhao 001; Valentin Robu; David Flynn; Fateme Dinmohammadi; Michael Fisher 001; Matt Webster (AAAI, 2019)

Plan Library Reconfigurability in BDI Agents. - Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2019)

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. - Vincent J. Koeman; Louise A. Dennis; Matt Webster; Michael Fisher 001; Koen V. Hindriks (EMAS@AAMAS, 2019)

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. - Gleifer Vaz Alves; Louise A. Dennis; Michael Fisher 001 (FM Workshops (1), 2019)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (IFM, 2019)

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. - Marie Farrell; Matthew Bradbury; Michael Fisher 001; Louise A. Dennis; Clare Dixon; Hu Yuan 001; Carsten Maple (SEFM, 2019)

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. - Xingyu Zhao 001; Matthew Osborne; Jenny Lantair; Valentin Robu; David Flynn; Xiaowei Huang 001; Michael Fisher 001; Fabio Papacchini; Angelo Ferrando 001 (SEFM, 2019)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 2019)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Michael Fisher 001 (CoRR, 2019)

Formal Specification and Verification of Autonomous Robotic Systems: A Survey. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (ACM Comput. Surv., 2019)

Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). - Michael Fisher 001; Christian List; Marija Slavkovik 001; Astrid Weiss (Dagstuhl Reports, 2019)

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. - Paul Bremner; Louise A. Dennis; Michael Fisher 001; Alan F. T. Winfield (Proc. IEEE, 2019)

Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? - Angelo Ferrando 001; Zeid Kootbally; Pavel Piliptchak; Rafael C. Cardoso 001; Craig Schlenoff; Michael Fisher 001 (AIRO@AI*IA, 2020)

An Interface for Programming Verifiable Autonomous Agents in ROS. - Rafael C. Cardoso 001; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (EUMAS/AT, 2020)

Heterogeneous Verification of an Autonomous Curiosity Rover. - Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Angelo Ferrando 001; Michael Fisher 001 (NFM, 2020)

A Safety Framework for Critical Systems Utilising Deep Neural Networks. - Xingyu Zhao 001; Alec Banks; James Sharp; Valentin Robu; David Flynn; Michael Fisher 001; Xiaowei Huang 001 (SAFECOMP, 2020)

ROSMonitoring: A Runtime Verification Framework for ROS. - Angelo Ferrando 001; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Luca Franceschini; Viviana Mascardi (TAROS, 2020)

Towards Compositional Verification for Modular Robotic Systems. - Rafael C. Cardoso 001; Louise A. Dennis; Marie Farrell; Michael Fisher 001; Matt Luckcuck (FMAS, 2020)

Multi-scale verification of distributed synchronisation. - Paul Gainer; Sven Linker; Clare Dixon; Ullrich Hustadt; Michael Fisher 001 (Formal Methods Syst. Des., 2020)

A corroborative approach to verification and validation of human-robot teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (Int. J. Robotics Res., 2020)

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. - Matt Webster; Michael Breza; Clare Dixon; Michael Fisher 001; Julie A. McCann (J. Comput. Sci., 2020)

Verifiable Self-Aware Agent-Based Autonomous Systems. - Louise A. Dennis; Michael Fisher 001 (Proc. IEEE, 2020)

Verifiable Machine Ethics in Changing Contexts. - Louise A. Dennis; Martin Mose Bentzen; Felix Lindner 001; Michael Fisher 001 (AAAI, 2021)

Summarising a Framework for the Certification of Reliable Autonomous Systems. - Michael Fisher 001; Viviana Mascardi; Kristin Y. Rozier; Bernd-Holger Schlingloff; Michael Winikoff; Neil Yorke-Smith (AAMAS, 2021)

Implementing Ethical Governors in BDI. - Rafael C. Cardoso 001; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2021)

Agile Tasking of Robotic Systems with Explicit Autonomy. - Rafael C. Cardoso 001; John L. Michaloski; Craig Schlenoff; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (FLAIRS, 2021)

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. - Marie Farrell; Matt Luckcuck; Laura Pullum; Michael Fisher 001; Ali Hessami; Danit Gal; Zvikomborero Murahwi; Ken R. Wallace (ISSRE Workshops, 2021)

Increasing confidence in autonomous systems. - Michael Fisher 001; Angelo Ferrando 001; Rafael C. Cardoso 001 (VORTEX@ISSTA, 2021)

Integrating Formal Verification and Assurance: An Inspection Rover Case Study. - Hamza Bourbouh; Marie Farrell; Anastasia Mavridou; Irfan Sljivo; Guillaume Brat; Louise A. Dennis; Michael Fisher 001 (NFM, 2021)

Towards a framework for certification of reliable autonomous systems. - Michael Fisher 001; Viviana Mascardi; Kristin Yvonne Rozier; Bernd-Holger Schlingloff; Michael Winikoff; Neil Yorke-Smith (Auton. Agents Multi Agent Syst., 2021)

Bridging the gap between single- and multi-model predictive runtime verification. - Angelo Ferrando 001; Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Fabio Papacchini; Michael Fisher 001; Viviana Mascardi (Formal Methods Syst. Des., 2021)

Parameterized verification of leader/follower systems via first-order temporal logic. - Georgios Kourtis; Clare Dixon; Michael Fisher 001; Alexei P. Lisitsa (Formal Methods Syst. Des., 2021)

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. - Gleifer Vaz Alves; Louise Abigail Dennis; Michael Fisher 001 (J. Sens. Actuator Networks, 2021)

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. - Kheng Lee Koay; Matt Webster; Clare Dixon; Paul Gainer; Dag Sverre Syrdal; Michael Fisher 001; Kerstin Dautenhahn (Paladyn J. Behav. Robotics, 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. - Vincent Pagé; Christopher Dadswell; Matt Webster; Mike Jump; Michael Fisher 001 (Robotics, 2021)

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. - Angelo Ferrando 001; Louise A. Dennis; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Viviana Mascardi (ACM Trans. Softw. Eng. Methodol., 2021)

Trustworthy AI. - Raja Chatila 001; Virginia Dignum; Michael Fisher 001; Fosca Giannotti; Katharina Morik; Stuart Russell 001; Karen Yeung (Reflections on Artificial Intelligence for Humanity, 2021)

AI Journal Special Issue on Ethics for Autonomous Systems. - Michael Fisher 001; Sven Koenig; Marija Slavkovik 001 (Artif. Intell., 2022)

Verifiable autonomy: From theory to applications. - Louise A. Dennis; Clare Dixon; Michael Fisher 001 (AI Commun., 2022)

A Compositional Approach to Verifying Modular Robotic Systems. - Matt Luckcuck; Marie Farrell; Angelo Ferrando 001; Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (CoRR, 2022)

Advising Autonomous Cars about the Rules of the Road. - Joe Collenette; Louise A. Dennis; Michael Fisher 001 (FMAS/ASYDE@SEFM, 2022)

Extending Attack-Fault Trees with Runtime Verification. - Rafael C. Cardoso 001; Angelo Ferrando 001; Michael Fisher 001 (FMAS/ASYDE@SEFM, 2022)

Verification of Autonomous Systems [TC Spotlight]. - Dejanira Araiza-Illan; Michael Fisher 001; Kevin Leahy 001; Joanna Isabelle Olszewska; Signe A. Redfield (IEEE Robotics Autom. Mag., 2022)

Correction: Parameterized verification of leader/follower systems via first-order temporal logic. - Georgios Kourtis; Clare Dixon; Michael Fisher 001; Alexei Lisitsa 001 (Formal Methods Syst. Des., 2022)

Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. - Vaishak Belle; Michael Fisher 001; Alessandra Russo; Ekaterina Komendantskaya; Alistair Nottle (AAMAS Workshops, 2023)

Updating Action Descriptions and Plans for Cognitive Agents. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Michael Fisher 001; Louise A. Dennis (AAMAS, 2023)

Towards Forward Responsibility in BDI Agents. - Rafael C. Cardoso 001; Angelo Ferrando 001; Joe Collenette; Louise A. Dennis; Michael Fisher 001 (EMAS, 2023)

Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. - Leandro Buss Becker; Anthony Downs; Craig Schlenoff; Justin Albrecht; Zeid Kootbally; Angelo Ferrando 001; Rafael C. Cardoso 001; Michael Fisher 001 (EUMAS, 2023)

Adaptive Cognitive Agents: Updating Action Descriptions and Plans. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Michael Fisher 001; Louise A. Dennis (EUMAS, 2023)

Prospective Responsibility for Multi-agent Systems. - Joe Collenette; Louise A. Dennis; Michael Fisher 001 (SGAI Conf., 2023)

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. - Louise A. Dennis; Marie Farrell; Michael Fisher 001 (CoRR, 2023)

Roadmap for Responsible Robotics (Dagstuhl Seminar 23371). - Michael Fisher 001; Marija Slavkovik 001; Anna Dobrosovestnova; Nick Schuster (Dagstuhl Reports, 2023)

Trustworthy Autonomous Systems Through Verifiability. - Mohammad Reza Mousavi 001; Ana Cavalcanti 001; Michael Fisher 001; Louise A. Dennis; Robert M. Hierons; Bilal Y. Kaddouh; Effie Lai-Chong Law; Robert C. Richardson; Jan Oliver Ringert; Ivan Tyukin; Jim Woodcock 001 (Computer, 2023)

Specifying Agent Ethics. - Louise A. Dennis; Michael Fisher 001 (COINE, 2024)

Specifying Agent Ethics (Blue Sky Ideas). - Louise A. Dennis; Michael Fisher 001 (CoRR, 2024)

Grand Challenges in the Verification of Autonomous Systems. - Kevin Leahy 001; Hamid Asgari; Louise A. Dennis; Martin S. Feather; Michael Fisher 001; Javier Ibañez-Guzmán; Brian Logan 001; Joanna I. Olszewska; Signe A. Redfield (CoRR, 2024)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. - Maryam Ghaffari Saadat; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (FMAS@iFM, 2024)

Security-Minded Verification of Cooperative Awareness Messages. - Marie Farrell; Matthew Bradbury; Rafael C. Cardoso 001; Michael Fisher 001; Louise A. Dennis; Clare Dixon; Al Tariq Sheik; Hu Yuan 001; Carsten Maple (IEEE Trans. Dependable Secur. Comput., 2024)

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. - Leandro Buss Becker; Anthony Downs; Craig Schlenoff; Justin Albrecht; Zeid Kootbally; Angelo Ferrando 001; Rafael C. Cardoso 001; Michael Fisher 001 (J. Intell. Robotic Syst., 2024)

Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints. - Georgios Kourtis; Clare Dixon; Michael Fisher 001 (IEEE Trans. Software Eng., 2024)

Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. - Dhaminda B. Abeywickrama; Michael Fisher 001; Frederic Wheeler; Louise A. Dennis (ICSR, 2025)

Enhanced agent-oriented programming for robot teams. - Iago de Oliveira Silvestre; Leandro Buss Becker; Michael Fisher 001; Jomi Fred Hübner; Maiquel de Brito (Eng. Appl. Artif. Intell., 2025)

An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations. - Leandro Buss Becker; Iago de Oliveira Silvestre; Jomi Fred Hübner; Michael Fisher 001 (Robotics Auton. Syst., 2025)

Monodic fragments of probabilistic first-order temporal logic with bounded semantics. - Georgios Kourtis; Clare Dixon; Michael Fisher 001 (Theor. Comput. Sci., 2025)

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems. - Dhaminda B. Abeywickrama; Michael Fisher 001; Frederic Wheeler; Louise A. Dennis (CoRR, 2025)

The future starts now. - Jürgen Dix; Michael Fisher 001 (Ann. Math. Artif. Intell., 2025)