Michael Fisher

286 papers A* 9A 13B 18C 16Misc 5Journal 128Unranked 81
YearRankTypeTitle / Venue / Authors
2026 J jnl
Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE.
Formal Aspects Comput.
Maryam Ghaffari Saadat, Clare Dixon, Michael Fisher
2025 J jnl
A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts.
IEEE Robotics Autom. Mag.
Dejanira Araiza-Illan, Kevin Baum, Helen Beebee, Raja Chatila, Sarah Moth-Lund Christensen, Simon Coghlan, Emily C. Collins, S. Kate Conroy, Alcino Cunha, Anna Dobrosovestnova, Hein Duijf, Vanessa Evers, Michael Fisher, Nico Hochgeschwender, Nadin Kökciyan, Séverin Lemaignan, Francisco Javier Rodríguez-Lera, Sara Ljungblad, Martin Magnusson, Masoumeh Mansouri, Michael Milford, AJung Moon, Thomas M. Powers, Pericle Salvini, Teresa Scantamburlo, Nick Schuster, Marija Slavkovik, Ufuk Topcu, Daniel F. Preciado Vanegas, Andrzej Wasowski, Yi Yang
2025 J jnl
An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations.
Robotics Auton. Syst.
Leandro Buss Becker, Iago de Oliveira Silvestre, Jomi Fred Hübner, Michael Fisher
2025 J jnl
Automated Formalization of Probabilistic Requirements from Structured Natural Language.
CoRR
Anastasia Mavridou, Marie Farrell, Gricel Vázquez, Thomas Pressburger, Timothy E. Wang, Radu Calinescu, Michael Fisher
2025 J jnl
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems.
CoRR
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2025 J jnl
Enhanced agent-oriented programming for robot teams.
Eng. Appl. Artif. Intell.
Iago de Oliveira Silvestre, Leandro Buss Becker, Michael Fisher, Jomi Fred Hübner, Maiquel de Brito
2025 J jnl
Monodic fragments of probabilistic first-order temporal logic with bounded semantics.
Theor. Comput. Sci.
Georgios Kourtis, Clare Dixon, Michael Fisher
2025 J jnl
Open-World Verification: A Grand Challenge for Autonomous Systems.
Proc. IEEE
Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2025 J jnl
The future starts now.
Ann. Math. Artif. Intell.
Jürgen Dix, Michael Fisher
2025 J jnl
Towards Continuous Assurance with Formal Verification and Assurance Cases.
CoRR
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2025 B conf
Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots.
ICSR
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis
2024 J jnl
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition.
J. Intell. Robotic Syst.
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2024 J jnl
Grand Challenges in the Verification of Autonomous Systems.
CoRR
Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2024 J jnl
Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints.
IEEE Trans. Software Eng.
Georgios Kourtis, Clare Dixon, Michael Fisher
2024 — conf
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics.
FMAS@iFM
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2024 J jnl
Security-Minded Verification of Cooperative Awareness Messages.
IEEE Trans. Dependable Secur. Comput.
Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
2024 J jnl
Specifying Agent Ethics (Blue Sky Ideas).
CoRR
Louise A. Dennis, Michael Fisher
2024 C conf
Specifying Agent Ethics.
COINE
Louise A. Dennis, Michael Fisher
2023 C conf
Adaptive Cognitive Agents: Updating Action Descriptions and Plans.
EUMAS
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2023 J jnl
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper].
CoRR
Louise A. Dennis, Marie Farrell, Michael Fisher
2023 — conf
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges.
AAMAS Workshops
Vaishak Belle, Michael Fisher, Alessandra Russo, Ekaterina Komendantskaya, Alistair Nottle
2023 — conf
Prospective Responsibility for Multi-agent Systems.
SGAI Conf.
Joe Collenette, Louise A. Dennis, Michael Fisher
2023 J jnl
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371).
Dagstuhl Reports
Michael Fisher, Marija Slavkovik, Anna Dobrosovestnova, Nick Schuster
2023 B conf
Towards Forward Responsibility in BDI Agents.
EMAS
Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
2023 J jnl
Trustworthy Autonomous Systems Through Verifiability.
Computer
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock
2023 A conf
Updating Action Descriptions and Plans for Cognitive Agents.
AAMAS
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2023 C conf
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition.
EUMAS
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2022 J jnl
A Compositional Approach to Verifying Modular Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2022 J jnl
AI Journal Special Issue on Ethics for Autonomous Systems.
Artif. Intell.
Michael Fisher, Sven Koenig, Marija Slavkovik
2022 — conf
Advising Autonomous Cars about the Rules of the Road.
FMAS/ASYDE@SEFM
Joe Collenette, Louise A. Dennis, Michael Fisher
2022 J jnl
Correction: Parameterized verification of leader/follower systems via first-order temporal logic.
Formal Methods Syst. Des.
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa
2022 — conf
Extending Attack-Fault Trees with Runtime Verification.
FMAS/ASYDE@SEFM
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
2022 J jnl
Verifiable autonomy: From theory to applications.
AI Commun.
Louise A. Dennis, Clare Dixon, Michael Fisher
2022 J jnl
Verification of Autonomous Systems [TC Spotlight].
IEEE Robotics Autom. Mag.
Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield
2021 J jnl
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.
J. Sens. Actuator Networks
Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher
2021 Misc conf
Agile Tasking of Robotic Systems with Explicit Autonomy.
FLAIRS
Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021 J jnl
An Overview of Verification and Validation Challenges for Inspection Robots.
Robotics
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
2021 J jnl
Bridging the gap between single- and multi-model predictive runtime verification.
Formal Methods Syst. Des.
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
2021 — conf
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems.
ISSRE Workshops
Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace
2021 — conf
Implementing Ethical Governors in BDI.
EMAS@AAMAS
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021 — conf
Increasing confidence in autonomous systems.
VORTEX@ISSTA
Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
2021 — conf
Integrating Formal Verification and Assurance: An Inspection Rover Case Study.
NFM
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
2021 J jnl
Parameterized verification of leader/follower systems via first-order temporal logic.
Formal Methods Syst. Des.
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa
2021 A conf
Summarising a Framework for the Certification of Reliable Autonomous Systems.
AAMAS
Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2021 J jnl
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.
ACM Trans. Softw. Eng. Methodol.
Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
2021 J jnl
Towards a framework for certification of reliable autonomous systems.
Auton. Agents Multi Agent Syst.
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2021 J jnl
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions.
Robotics
Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher
2021 — ch.
Trustworthy AI.
Reflections on Artificial Intelligence for Humanity
Raja Chatila, Virginia Dignum, Michael Fisher, Fosca Giannotti, Katharina Morik, Stuart Russell, Karen Yeung
2021 J jnl
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study.
Paladyn J. Behav. Robotics
Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
2021 A* conf
Verifiable Machine Ethics in Changing Contexts.
AAAI
Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher
2020 B conf
A Safety Framework for Critical Systems Utilising Deep Neural Networks.
SAFECOMP
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020 J jnl
A Safety Framework for Critical Systems Utilising Deep Neural Networks.
CoRR
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020 J jnl
A corroborative approach to verification and validation of human-robot teams.
Int. J. Robotics Res.
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2020 — conf
An Interface for Programming Verifiable Autonomous Agents in ROS.
EUMAS/AT
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2020 J jnl
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods.
J. Comput. Sci.
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
2020 — conf
Heterogeneous Verification of an Autonomous Curiosity Rover.
NFM
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020 J jnl
Heterogeneous Verification of an Autonomous Curiosity Rover.
CoRR
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020 J jnl
Multi-scale verification of distributed synchronisation.
Formal Methods Syst. Des.
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2020 — conf
ROSMonitoring: A Runtime Verification Framework for ROS.
TAROS
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
2020 — conf
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?
AIRO@AI*IA
Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher
2020 — conf
Towards Compositional Verification for Modular Robotic Systems.
FMAS
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
2020 J jnl
Towards a Framework for Certification of Reliable Autonomous Systems.
CoRR
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020 J jnl
Verifiable Self-Aware Agent-Based Autonomous Systems.
Proc. IEEE
Louise A. Dennis, Michael Fisher
2019 B conf
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
IFM
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019 J jnl
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
2019 J jnl
Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171).
Dagstuhl Reports
Michael Fisher, Christian List, Marija Slavkovik, Astrid Weiss
2019 J jnl
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv.
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019 — conf
Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent.
FM Workshops (1)
Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher
2019 J jnl
Modular Verification of Autonomous Space Robotics.
CoRR
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
2019 J jnl
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots.
Proc. IEEE
Paul Bremner, Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
2019 — conf
Plan Library Reconfigurability in BDI Agents.
EMAS@AAMAS
Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2019 A* conf
Probabilistic Model Checking of Robots Deployed in Extreme Environments.
AAAI
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
2019 — conf
The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems.
EMAS@AAMAS
Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks
2019 B conf
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
SEFM
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019 J jnl
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
CoRR
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019 B conf
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.
SEFM
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
2018 J jnl
Autonomous Nuclear Waste Management.
IEEE Intell. Syst.
Jonathan M. Aitken, Sandor M. Veres, Affan Shaukat, Yang Gao, Elisa Cucco, Louise A. Dennis, Michael Fisher, Jeffrey A. Kuo, Thomas Robinson, Paul E. Mort
2018 J jnl
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2018 J jnl
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
2018 J jnl
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems.
Comput.
Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann
2018 J jnl
Making Sense of the World: Models for Reliable Sensor-Driven Systems.
CoRR
Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann
2018 — conf
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
FTSCS
Maryam Kamali, Sven Linker, Michael Fisher
2018 J jnl
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.
CoRR
Maryam Kamali, Sven Linker, Michael Fisher
2018 J jnl
Multi-Scale Verification of Distributed Synchronisation.
CoRR
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2018 Misc conf
Practical Challenges in Explicit Ethical Machine Reasoning.
ISAIM
Louise A. Dennis, Michael Fisher
2018 J jnl
Practical Challenges in Explicit Ethical Machine Reasoning.
CoRR
Louise A. Dennis, Michael Fisher
2018 J jnl
Probabilistic Model Checking of Robots Deployed in Extreme Environments.
CoRR
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
2018 A conf
Recognising Assumption Violations in Autonomous Systems Verification.
AAMAS
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2018 B conf
Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
IFM
Marie Farrell, Matt Luckcuck, Michael Fisher
2018 J jnl
Robotics and Integrated Formal Methods: Necessity meets Opportunity.
CoRR
Marie Farrell, Matt Luckcuck, Michael Fisher
2018 — conf
Slicing Agent Programs for More Efficient Verification.
EMAS@AAMAS
Michael Winikoff, Louise A. Dennis, Michael Fisher
2018 C conf
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
ICFEM
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2018 J jnl
Two-stage agent program verification.
J. Log. Comput.
Louise A. Dennis, Michael Fisher, Matt Webster
2018 — conf
Verifiable Self-Certifying Autonomous Systems.
ISSRE Workshops
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 B conf
Verifying and Validating Autonomous Systems: Towards an Integrated Approach.
RV
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2017 — conf
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.
FVAV@iFM
Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher
2017 — conf
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.
FMICS-AVoCS
Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
2017 J jnl
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior.
CoRR
Omar I. Al-Bataineh, Michael Fisher, David S. Rosenblum
2017 J jnl
Formal verification of autonomous vehicle platooning.
Sci. Comput. Program.
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
2017 — conf
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.
QEST
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017 J jnl
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
CoRR
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017 J jnl
Towards Moral Autonomous Systems.
CoRR
Vicky Charisi, Louise A. Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy
2016 — conf
"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.
COIN@AAMAS/ECAI
Louise A. Dennis, Marija Slavkovik, Michael Fisher
2016 — conf
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.
TAROS
Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor M. Veres, Michael Fisher
2016 J jnl
An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
CoRR
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2016 J jnl
Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222).
Dagstuhl Reports
Michael Fisher, Christian List, Marija Slavkovik, Alan F. T. Winfield
2016 J jnl
Formal Verification of Autonomous Vehicle Platooning.
CoRR
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
2016 J jnl
Formal verification of ethical choices in autonomous systems.
Robotics Auton. Syst.
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster
2016 J jnl
Practical verification of decision-making in agent-based autonomous systems.
Autom. Softw. Eng.
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2016 J jnl
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.
IEEE Trans. Hum. Mach. Syst.
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons
2015 A conf
A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance.
AAMAS
M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks
2015 J jnl
A roadmap to pervasive systems verification.
Knowl. Eng. Rev.
Savas Konur, Michael Fisher
2015 J jnl
An abstract formal basis for digital crowds.
Distributed Parallel Databases
Marija Slavkovik, Louise A. Dennis, Michael Fisher
2015 — conf
Towards Verifiably Ethical Robot Behaviour.
AAAI Workshop: AI and Ethics
Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield
2015 J jnl
Towards Verifiably Ethical Robot Behaviour.
CoRR
Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
2014 — conf
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours.
TAROS
Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn
2014 A conf
Actions with Durations and Failures in BDI Languages.
ECAI
Louise A. Dennis, Michael Fisher
2014 J jnl
An Abstract Formal Basis for Digital Crowds.
CoRR
Marija Slavkovik, Louise A. Dennis, Michael Fisher
2014 — conf
Formal Verification of an Autonomous Personal Robotic Assistant.
AAAI Spring Symposia
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn
2014 J jnl
Formal verification of a pervasive messaging system.
Formal Aspects Comput.
Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox
2014 J jnl
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation.
J. Aerosp. Inf. Syst.
Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump
2014 — ch.
On and On the Temporal Way.
HOWARD-60
Clare Dixon, Michael Fisher
2014 J jnl
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII).
J. Log. Comput.
Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori
2014 J jnl
Reconfigurable Autonomy.
Künstliche Intell.
Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes
2013 A conf
Agent reasoning for norm compliance: a semantic approach.
AAMAS
M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks
2013 J jnl
Autonomous Asteroid Exploration by Rational Agents.
IEEE Comput. Intell. Mag.
Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
2013 J jnl
Combined model checking for temporal, probabilistic, and real-time logics.
Theor. Comput. Sci.
Savas Konur, Michael Fisher, Sven Schewe
2013 J jnl
Deductive temporal reasoning with constraints.
J. Appl. Log.
Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi
2013 — conf
Ethical Choice in Unforeseen Circumstances.
TAROS
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster
2013 J jnl
Practical Verification of Decision-Making in Agent-Based Autonomous Systems.
CoRR
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2013 — conf
Using Agent JPF to Build Models for Other Model Checkers.
CLIMA
Louise A. Dennis, Michael Fisher, Matthew P. Webster
2013 J jnl
Verifying autonomous systems.
Commun. ACM
Michael Fisher, Louise A. Dennis, Matthew P. Webster
2012 J jnl
Analysing robot swarm behaviour via probabilistic model checking.
Robotics Auton. Syst.
Savas Konur, Clare Dixon, Michael Fisher
2012 — ed.
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
CLIMA
Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori
2012 J jnl
Model checking agent programming languages.
Autom. Softw. Eng.
Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini
2012 C conf
Symmetric Temporal Theorem Proving.
TIME
Amir Niknafs-Kermani, Boris Konev, Michael Fisher
2012 — conf
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.
Infotech@Aerospace
Matt Webster, Neil Cameron, Michael Jump, Michael Fisher
2012 J jnl
Towards temporal verification of swarm robotic systems.
Robotics Auton. Syst.
Clare Dixon, Alan F. T. Winfield, Michael Fisher, Chengxiu Zeng
2012 B conf
Verifying Brahms Human-Robot Teamwork Models.
JELIA
Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher
2011 — conf
A Formal Semantics for Brahms.
CLIMA
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
2011 J jnl
Agent deliberation in an executable temporal framework.
J. Appl. Log.
Michael Fisher
2011 — book
An Introduction to Practical Formal Methods Using Temporal Logic.
Michael Fisher
2011 — conf
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification.
VTC Spring
Savas Konur, Michael Fisher
2011 B conf
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.
SAFECOMP
Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump
2011 J jnl
Preface.
Ann. Math. Artif. Intell.
Manuela-Luminita Bujorianu, Michael Fisher, Corina S. Pasareanu
2011 — conf
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems.
TAROS
Clare Dixon, Alan F. T. Winfield, Michael Fisher
2011 J jnl
Where logic and agents meet.
Ann. Math. Artif. Intell.
Jürgen Dix, Michael Fisher
2010 — conf
An agent based framework for adaptive control and decision making of autonomous vehicles.
ALCOSP
Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa
2010 — ed.
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
CLIMA
Jürgen Dix, Michael Fisher, Peter Novák
2010 — conf
Declarative Abstractions for Agent Based Hybrid Control Systems.
DALT
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2010 J jnl
Executable specifications of resource-bounded agents.
Auton. Agents Multi Agent Syst.
Michael Fisher, Chiara Ghidini
2010 — conf
Formal Verification of Probabilistic Swarm Behaviours.
ANTS Conference
Savas Konur, Clare Dixon, Michael Fisher
2010 J jnl
Satellite Control Using Rational Agent Programming.
IEEE Intell. Syst.
Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres
2009 — conf
Agent Based Approaches to Engineering Autonomous Space Software
FMA
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
2009 — ed.
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
CLIMA
Michael Fisher, Fariba Sadri, Michael Thielscher
2009 J jnl
Deductive verification of simple foraging robotic behaviours.
Int. J. Intell. Comput. Cybern.
Abdelkader Behdenna, Clare Dixon, Michael Fisher
2009 — ch.
Executing Logical Agent Specifications.
Multi-Agent Programming, Languages, Tools and Applications
Michael Fisher, Anthony Hepple
2009 J jnl
Exploring the Future with Resource-Bounded Agents.
J. Log. Lang. Inf.
Michael Fisher, Chiara Ghidini
2009 A* conf
Formal verification of human-robot teamwork.
HRI
Rafael H. Bordini, Michael Fisher, Maarten Sierhuis
2009 — ed.
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009.
FMA
Manuela-Luminita Bujorianu, Michael Fisher
2009 J jnl
Property-based Slicing for Agent Verification.
J. Log. Comput.
Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge, Willem Visser
2009 — conf
Taming the Complexity of Temporal Epistemic Reasoning.
FroCoS
Clare Dixon, Michael Fisher, Boris Konev
2009 — ch.
Temporal Verification of Fault-Tolerant Protocols.
Methods, Models and Tools for Fault Tolerance
Michael Fisher, Boris Konev, Alexei Lisitsa
2009 J jnl
Towards the Verification of Pervasive Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
2009 — ch.
Uncertain Agent Verification through Probabilistic Model-Checking.
Safety and Security in Multiagent Systems
Paolo Ballarini, Michael Fisher, Michael J. Wooldridge
2008 — conf
A flexible framework for verifying agent programs.
AAMAS (3)
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher
2008 A* conf
Automated Verification of Multi-Agent Programs.
ASE
Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher
2008 C conf
Practical First-Order Temporal Reasoning.
TIME
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2008 — conf
Programming Verifiable Heterogeneous Agent Systems.
ProMAS
Louise A. Dennis, Michael Fisher
2008 J jnl
Specifying and reasoning about uncertain agents.
Int. J. Approx. Reason.
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
2008 — ch.
Temporal Representation and Reasoning.
Handbook of Knowledge Representation
Michael Fisher
2007 — conf
A Common Basis for Agent Organisation in BDI Languages.
LADS
Anthony Hepple, Louise A. Dennis, Michael Fisher
2007 — conf
A Common Semantic Basis for BDI Languages.
PROMAS
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge
2007 J jnl
Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.
Comput. Intell.
Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 J jnl
Efficient First-Order Temporal Logic for Infinite-State Systems
CoRR
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2007 — conf
Language Constructs for Multi-agent Programming.
CLIMA
Louise A. Dennis, Michael Fisher, Anthony Hepple
2007 J jnl
Logic-Based Agent Verification.
J. Appl. Log.
Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael J. Wooldridge
2007 J jnl
Logics in AI: post-proceedings JELIA06 (Editorial).
Ann. Math. Artif. Intell.
Michael Fisher, Wiebe van der Hoek
2007 — conf
Temporal Logic with Capacity Constraints.
FroCoS
Clare Dixon, Michael Fisher, Boris Konev
2007 A* conf
Tractable Temporal Reasoning.
IJCAI
Clare Dixon, Michael Fisher, Boris Konev
2006 J jnl
Guest editorial: Temporal representation and reasoning.
Ann. Math. Artif. Intell.
Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat
2006 C conf
Is There a Future for Deductive Temporal Verification?
TIME
Clare Dixon, Michael Fisher, Boris Konev
2006 B ed.
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
JELIA
Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa
2006 J jnl
Model Checking for Multiagent Systems: the Mable Language and its Applications.
Int. J. Artif. Intell. Tools
Michael J. Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons
2006 J jnl
Monodic temporal resolution.
ACM Trans. Comput. Log.
Anatoli Degtyarev, Michael Fisher, Boris Konev
2006 — conf
Temporal Logics of Knowledge and their Applications in Security.
ICS@SYNASC
Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
2006 J jnl
Verifying Multi-agent Programs by Model Checking.
Auton. Agents Multi Agent Syst.
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2005 J jnl
Alternating automata and temporal logic normal forms.
Ann. Pure Appl. Log.
Clare Dixon, Alexander Bolotov, Michael Fisher
2005 — conf
Automated Game Analysis via Probabilistic Model Checking: a case study.
MoChArt@CONCUR/SPIN
Paolo Ballarini, Michael Fisher, Michael J. Wooldridge
2005 J jnl
First-Order Temporal Verification in Practice.
J. Autom. Reason.
M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
2005 — book
Handbook of Temporal Reasoning in Artificial Intelligence
Handbook of Temporal Reasoning in Artificial Intelligence
Michael Fisher, Dov M. Gabbay, Lluís Vila
2005 — conf
Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper).
CLIMA
Michael Fisher
2005 Misc conf
Logical Implementation of Uncertain Agents.
EPIA
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
2005 J jnl
Mechanising first-order temporal resolution.
Inf. Comput.
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2005 — conf
MetateM: The Story so Far.
PROMAS
Michael Fisher
2005 — conf
Practical Infinite-State Verification with Temporal Reasoning.
VISSAS
Michael Fisher, Boris Konev, Alexei Lisitsa
2005 — ch.
Temporal Reasoning in Agent-Based Systems.
Handbook of Temporal Reasoning in Artificial Intelligence
Michael Fisher, Michael J. Wooldridge
2004 J jnl
Editorial.
J. Log. Comput.
Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi
2004 J jnl
Introduction.
Ann. Math. Artif. Intell.
Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling
2004 J jnl
Model Checking Rational Agents.
IEEE Intell. Syst.
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2004 — conf
Monodic ASMs and Temporal Verification.
Abstract State Machines
Michael Fisher, Alexei Lisitsa
2004 — conf
Organising Software in Active Environments.
CLIMA
Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta
2004 B conf
Practical Reasoning for Uncertain Agents.
JELIA
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
2004 — conf
Programming Groups of Rational Agents.
CLIMA
Michael Fisher, Chiara Ghidini, Benjamin Hirsch
2004 B conf
Resolution for Synchrony and No Learning.
Advances in Modal Logic
Cláudia Nalon, Clare Dixon, Michael Fisher
2004 A conf
State-Space Reduction Techniques in Agent Verification.
AAMAS
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2004 J jnl
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.
J. Appl. Non Class. Logics
Clare Dixon, Cláudia Nalon, Michael Fisher
2004 J jnl
Temporal Development Methods for Agent-Based.
Auton. Agents Multi Agent Syst.
Michael Fisher
2004 C conf
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
TIME
Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
2003 B conf
Handling Equality in Monodic Temporal Resolution.
LPAR
Boris Konev, Anatoli Degtyarev, Michael Fisher
2003 A* conf
Model Checking Multi-Agent Programs with CASP.
CAV
Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge
2003 A conf
Model checking agentspeak.
AAMAS
Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
2003 A conf
Monodic Temporal Resolution.
CADE
Anatoli Degtyarev, Michael Fisher, Boris Konev
2003 J jnl
Monodic temporal resolution
CoRR
Anatoli Degtyarev, Michael Fisher, Boris Konev
2003 — conf
Organising Computation through Dynamic Grouping.
Objects, Agents, and Features
Michael Fisher, Chiara Ghidini, Benjamin Hirsch
2003 C conf
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.
TIME
Clare Dixon, Cláudia Nalon, Michael Fisher
2003 C conf
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.
TIME
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2003 — conf
Verifiable Multi-agent Programs.
PROMAS
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2002 B conf
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.
TABLEAUX
Anatoli Degtyarev, Michael Fisher, Boris Konev
2002 — conf
Agents with Bounded Temporal Resources.
Foundations and Applications of Multi-Agent Systems
Michael Fisher, Chiara Ghidini
2002 Misc conf
Algorithms for Guiding Clausal Temporal Resolution.
KI
M. Carmen Fernández Gago, Michael Fisher, Clare Dixon
2002 J jnl
Clausal resolution in a logic of rational agency.
Artif. Intell.
Clare Dixon, Michael Fisher, Alexander Bolotov
2002 J jnl
Combinations of Modal Logics.
Artif. Intell. Rev.
Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
2002 J jnl
Equality and Monodic First-Order Temporal Logic.
Stud Logica
Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
2002 — ed.
Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers
Foundations and Applications of Multi-Agent Systems
Mark d'Inverno, Michael Luck, Michael Fisher, Chris Preist
2002 A conf
Model checking multi-agent systems with MABLE.
AAMAS
Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
2002 J jnl
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.
J. Log. Comput.
Alexander Bolotov, Michael Fisher, Clare Dixon
2002 — conf
Organising Logic-Based Agents.
FAABS
Michael Fisher, Chiara Ghidini, Benjamin Hirsch
2002 B conf
Searching for Invariants Using Temporal Resolution.
LPAR
James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
2002 A conf
The abc of rational agent modelling.
AAMAS
Michael Fisher, Chiara Ghidini
2001 J jnl
Clausal temporal resolution.
ACM Trans. Comput. Log.
Michael Fisher, Clare Dixon, Martin Peim
2001 C conf
Reasoning about agents in the KARO framework.
TIME
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
2001 — conf
Towards First-Order Temporal Resolution.
KI/ÖGAI
Anatoli Degtyarev, Michael Fisher
2000 — conf
Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report.
ICMAS
Michael Fisher
2000 — conf
Direct Execution of Agent Specifications.
FAABS
Michael Fisher
2000 — conf
Normal Forms and Proofs in Combined Modal and Temporal Logics.
FroCoS
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher
2000 — conf
Propositional Temporal Resolution Revised.
ARW
Anatoli Degtyarev, Michael Fisher
2000 C conf
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.
TIME
Clare Dixon, Michael Fisher
2000 — conf
Verification within the KARO Agent Theory.
FAABS
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
1999 J jnl
A clausal resolution method for CTL branching-time temporal logic.
J. Exp. Theor. Artif. Intell.
Alexander Bolotov, Michael Fisher
1999 B conf
Clausal Resolution for CTL
MFCS
Alexander Bolotov, Clare Dixon, Michael Fisher
1999 J jnl
Clausal Temporal Resolution
CoRR
Michael Fisher, Clare Dixon, Martin Peim
1999 J jnl
Continuing research in multi-agent systems.
Knowl. Eng. Rev.
Keith Decker, Michael Fisher, Michael Luck, Moshe Tennenholtz
1999 A* conf
Programming Resource-Bounded Deliberative Agents.
IJCAI
Michael Fisher, Chiara Ghidini
1998 J jnl
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.
J. Appl. Non Class. Logics
Michael J. Wooldridge, Clare Dixon, Michael Fisher
1998 J jnl
Foundations of Multi-Agent Systems: Techniques, Tools and Theory.
Knowl. Eng. Rev.
Michael Luck, Mark d'Inverno, Michael Fisher
1998 — conf
Parallel Temporal Tableaux.
Euro-Par
R. I. Scott, Michael Fisher, John A. Keane
1998 — conf
Representing Abstract Agent Architectures.
ATAL
Michael Fisher
1998 J jnl
Resolution for Temporal Logics of Knowledge.
J. Log. Comput.
Clare Dixon, Michael Fisher, Michael J. Wooldridge
1998 C conf
The Set of Support Strategy in Temporal Resolution.
TIME
Clare Dixon, Michael Fisher
1997 J jnl
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution.
J. Log. Comput.
Michael Fisher
1997 C conf
A Resolution Method For CTL Branching-Time Temporal Logic.
TIME
Alexander Bolotov, Michael Fisher
1997 — conf
Agent Modelling in METATEM and DESIRE.
ATAL
Marco Mulder, Jan Treur, Michael Fisher
1997 — ch.
An alternative approach to concurrent theorem-proving.
Parallel Processing for Artificial Intelligence 3
Michael Fisher
1997 C conf
Automata Representations for Concurrent METATEM.
TIME
Adam Kellett, Michael Fisher
1997 C conf
Concurrent METATEM as a Coordination Language.
COORDINATION
Adam Kellett, Michael Fisher
1997 — conf
Distributed Problem-Solving as Concurrent Theorem Proving.
MAAMAW
Michael Fisher, Michael J. Wooldridge
1997 J jnl
Formalisms for multi-agent systems.
Knowl. Eng. Rev.
Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge
1997 — conf
Implementing BDI-like Systems by Direct Execution.
IJCAI (1)
Michael Fisher
1997 J jnl
Methodological foundations for agent-based systems.
Knowl. Eng. Rev.
Michael Fisher, Jörg P. Müller, Michael Schroeder, Geof Staniford, Gerd Wagner
1997 J jnl
On the Formal Specification and Verification of Multi-Agent Systems.
Int. J. Cooperative Inf. Syst.
Michael Fisher, Michael J. Wooldridge
1997 — conf
Tableaux for Synchronous Systems of Knowledge and Time with Interactions.
SCAI
Clare Dixon, Michael Fisher
1996 — conf
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
FAPR
Michael Fisher, Michael J. Wooldridge, Clare Dixon
1996 J jnl
An introduction to executable temporal logics.
Knowl. Eng. Rev.
Michael Fisher
1996 — conf
If Z Is the Answer, What Could the Question Possibly Be?
ATAL
Michael Fisher
1996 J jnl
Languages, Meta-languages and METATEM, A Discussion Paper.
Log. J. IGPL
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
1996 J jnl
Temporal Semantics for Concurrent Metatem.
J. Symb. Comput.
Michael Fisher
1995 — ed.
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings
Executable Modal and Temporal Logics
Michael Fisher, Richard Owens
1995 — conf
Graph Structure Management in Parallel Symbolic Systems.
Parallel and Distributed Computing and Systems
Michael Fisher, Robert Johnson, John A. Keane
1995 J jnl
METATEM: An Introduction.
Formal Aspects Comput.
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
1994 — conf
A Decision Procedure for a Temporal Belief Logic.
ICTL
Michael J. Wooldridge, Michael Fisher
1994 — conf
A Graph-Based Approach to Resolution in Temporal Logic.
ICTL
Clare Dixon, Michael Fisher, Howard Barringer
1994 — conf
A Survey of Concurrent METATEM - the Language and its Applications.
ICTL
Michael Fisher
1994 — conf
Representing and Executing Agent-Based Systems.
ECAI Workshop on Agent Theories, Architectures, and Languages
Michael Fisher
1993 — conf
An Introduction to Executable Modal and Temporal Logics.
Executable Modal and Temporal Logics
Michael Fisher, Richard Owens
1993 — conf
Concurrent METATEM - A Language for Modelling Reactive Systems.
PARLE
Michael Fisher
1993 Misc conf
Specifying and Verifying Distributed Intelligence Systems.
EPIA
Michael Fisher, Michael J. Wooldridge
1993 — conf
Towards a Semantics for Concurrent METATEM.
Executable Modal and Temporal Logics
Michael Fisher
1992 A conf
A First-Order Branching Time Logic of Multi-Agent System.
ECAI
Michael J. Wooldridge, Michael Fisher
1992 J jnl
A Model Checker for Linear Time Temporal Logic.
Formal Aspects Comput.
Michael Fisher
1992 A conf
A Normal Form for First-Order Temporal Formulae.
CADE
Michael Fisher
1992 B conf
From the Past to the Future: Executing Temporal Logic Programs.
LPAR
Michael Fisher, Richard Owens
1991 A* conf
A Resolution Method for Temporal Logic.
IJCAI
Michael Fisher
1991 A* conf
Meta-Reasoning in Executable Temporal Logic.
KR
Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter
1989 — conf
Fair SMG and Linear Time Model Checking.
Automatic Verification Methods for Finite State Systems
Howard Barringer, Michael Fisher, Graham Gough
1989 — conf
METATEM: A Framework for Programming in Temporal Logic.
REX Workshop
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens