| 2025 | ICSR | Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. | Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis |
| 2023 | EMAS | Towards Forward Responsibility in BDI Agents. | Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher |
| 2023 | EUMAS | 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, Rafael C. Cardoso, Michael Fisher |
| 2023 | EUMAS | Adaptive Cognitive Agents: Updating Action Descriptions and Plans. | Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis |
| 2023 | SGAI | Prospective Responsibility for Multi-agent Systems. | Joe Collenette, Louise A. Dennis, Michael Fisher |
| 2021 | AAAI | Verifiable Machine Ethics in Changing Contexts. | Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher |
| 2021 | EMAS | Implementing Ethical Governors in BDI. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | FlAIRS | Agile Tasking of Robotic Systems with Explicit Autonomy. | Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | ISSRE | Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. | Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace |
| 2021 | ISSTA | Increasing confidence in autonomous systems. | Michael Fisher, Angelo Ferrando, Rafael C. Cardoso |
| 2020 | EUMAS | An Interface for Programming Verifiable Autonomous Agents in ROS. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2020 | SAFECOMP | A Safety Framework for Critical Systems Utilising Deep Neural Networks. | Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang |
| 2019 | AAAI | Probabilistic Model Checking of Robots Deployed in Extreme Environments. | Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster |
| 2019 | EMAS | Plan Library Reconfigurability in BDI Agents. | Rafael C. Cardoso, Louise A. Dennis, Michael Fisher |
| 2019 | EMAS | 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, Koen V. Hindriks |
| 2019 | FM | Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. | Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher |
| 2019 | IFM | A Summary of Formal Specification and Verification of Autonomous Robotic Systems. | Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2019 | SEFM | Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. | Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple |
| 2019 | SEFM | Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. | Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando |
| 2018 | EMAS | Slicing Agent Programs for More Efficient Verification. | Michael Winikoff, Louise A. Dennis, Michael Fisher |
| 2018 | FUSION | Distributed Observations in Meteorological Ensemble Data Assimilation and Forecasting. | Elias V. Holm, Michael Fisher, Massimo Bonavita, Simon T. K. Lang, Tomas Kral |
| 2018 | ICFEM | 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 |
| 2018 | ISAIM | Practical Challenges in Explicit Ethical Machine Reasoning. | Louise A. Dennis, Michael Fisher |
| 2018 | IFM | Robotics and Integrated Formal Methods: Necessity Meets Opportunity. | Marie Farrell, Matt Luckcuck, Michael Fisher |
| 2018 | ISSRE | Verifiable Self-Certifying Autonomous Systems. | Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pag, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao |
| 2018 | RV | Verifying and Validating Autonomous Systems: Towards an Integrated Approach. | Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi |
| 2017 | FMICS | CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. | Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster |
| 2015 | AAAI | Towards Verifiably Ethical Robot Behaviour. | Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield |
| 2014 | ECAI | Actions with Durations and Failures in BDI Languages. | Louise A. Dennis, Michael Fisher |
| 2012 | JELIA | Verifying Brahms Human-Robot Teamwork Models. | Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2012 | TIME | Symmetric Temporal Theorem Proving. | Amir Niknafs-Kermani, Boris Konev, Michael Fisher |
| 2011 | VTC | Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. | Savas Konur, Michael Fisher |
| 2011 | SAFECOMP | Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. | Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump |
| 2009 | HRI | Formal verification of human-robot teamwork. | Rafael H. Bordini, Michael Fisher, Maarten Sierhuis |
| 2008 | TIME | Practical First-Order Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
| 2007 | IJCAI | Tractable Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev |
| 2006 | TIME | Is There a Future for Deductive Temporal Verification? | Clare Dixon, Michael Fisher, Boris Konev |
| 2005 | EPIA | Logical Implementation of Uncertain Agents. | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
| 2004 | AiML | Resolution for Synchrony and No Learning. | Cludia Nalon, Clare Dixon, Michael Fisher |
| 2004 | JELIA | Practical Reasoning for Uncertain Agents. | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
| 2004 | TIME | Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. | Clare Dixon, M. Carmen Fernndez Gago, Michael Fisher, Wiebe van der Hoek |
| 2003 | CADE | Monodic Temporal Resolution. | Anatoli Degtyarev, Michael Fisher, Boris Konev |
| 2003 | CAV | Model Checking Multi-Agent Programs with CASP. | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge |
| 2003 | LPAR | Handling Equality in Monodic Temporal Resolution. | Boris Konev, Anatoli Degtyarev, Michael Fisher |
| 2003 | TIME | Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. | Clare Dixon, Cludia Nalon, Michael Fisher |
| 2003 | TIME | Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
| 2002 | KI | Algorithms for Guiding Clausal Temporal Resolution. | M. Carmen Fernndez Gago, Michael Fisher, Clare Dixon |
| 2002 | LPAR | Searching for Invariants Using Temporal Resolution. | James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa |
| 2002 | TABLEAUX | A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. | Anatoli Degtyarev, Michael Fisher, Boris Konev |
| 2001 | KI | Towards First-Order Temporal Resolution. | Anatoli Degtyarev, Michael Fisher |
| 2001 | TIME | Reasoning about agents in the KARO framework. | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek |
| 2000 | TIME | Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. | Clare Dixon, Michael Fisher |
| 1999 | IJCAI | Programming Resource-Bounded Deliberative Agents. | Michael Fisher, Chiara Ghidini |
| 1999 | MFCS | Clausal Resolution for CTL | Alexander Bolotov, Clare Dixon, Michael Fisher |
| 1998 | EuroPar | Parallel Temporal Tableaux. | R. I. Scott, Michael Fisher, John A. Keane |
| 1998 | TIME | The Set of Support Strategy in Temporal Resolution. | Clare Dixon, Michael Fisher |
| 1997 | Coordination | Concurrent METATEM as a Coordination Language. | Adam Kellett, Michael Fisher |
| 1997 | IJCAI | Implementing BDI-like Systems by Direct Execution. | Michael Fisher |
| 1997 | TIME | A Resolution Method For CTL Branching-Time Temporal Logic. | Alexander Bolotov, Michael Fisher |
| 1997 | TIME | Automata Representations for Concurrent METATEM. | Adam Kellett, Michael Fisher |
| 1993 | EPIA | Specifying and Verifying Distributed Intelligence Systems. | Michael Fisher, Michael J. Wooldridge |
| 1993 | IJCAI | Towards a Semantics for Concurrent METATEM. | Michael Fisher |
| 1993 | IJCAI | An Introduction to Executable Modal and Temporal Logics. | Michael Fisher, Richard Owens |
| 1992 | CADE | A Normal Form for First-Order Temporal Formulae. | Michael Fisher |
| 1992 | ECAI | A First-Order Branching Time Logic of Multi-Agent System. | Michael J. Wooldridge, Michael Fisher |
| 1992 | LPAR | From the Past to the Future: Executing Temporal Logic Programs. | Michael Fisher, Richard Owens |
| 1991 | IJCAI | A Resolution Method for Temporal Logic. | Michael Fisher |
| 1991 | KR | Meta-Reasoning in Executable Temporal Logic. | Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter |