Michael Fisher

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 93

Top Venues

CoRR

EMAS@AAMAS

AAMAS

Formal Methods Syst. Des.

Publications

Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. J. Intell. Robotic Syst. 110 (3) (2024)
Louise A. Dennis, Michael Fisher
Specifying Agent Ethics (Blue Sky Ideas). CoRR (2024)
Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
Towards Forward Responsibility in BDI Agents. EMAS (2023)
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock
Trustworthy Autonomous Systems Through Verifiability. Computer 56 (2) (2023)
Joe Collenette, Louise A. Dennis, Michael Fisher
Prospective Responsibility for Multi-agent Systems. SGAI Conf. (2023)
Louise A. Dennis, Marie Farrell, Michael Fisher
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. CoRR (2023)
Michael Fisher, Marija Slavkovik, Anna Dobrosovestnova, Nick Schuster
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371). Dagstuhl Reports 13 (9) (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS (2023)
Vaishak Belle, Michael Fisher, Alessandra Russo, Ekaterina Komendantskaya, Alistair Nottle
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. AAMAS Workshops (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS (2023)
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS (2023)
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM (2022)
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
A Compositional Approach to Verifying Modular Robotic Systems. CoRR (2022)
Joe Collenette, Louise A. Dennis, Michael Fisher
Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM (2022)
Michael Fisher, Sven Koenig, Marija Slavkovik
AI Journal Special Issue on Ethics for Autonomous Systems. Artif. Intell. 305 (2022)
Louise A. Dennis, Clare Dixon, Michael Fisher
Verifiable autonomy: From theory to applications. AI Commun. 35 (4) (2022)
Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield
Verification of Autonomous Systems [TC Spotlight]. IEEE Robotics Autom. Mag. 29 (1) (2022)
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa
Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 60 (2) (2022)
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa
Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 58 (3) (2021)
Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
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
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher
Verifiable Machine Ethics in Changing Contexts. AAAI (2021)
Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
Increasing confidence in autonomous systems. VORTEX@ISSTA (2021)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics 10 (3) (2021)
Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. J. Sens. Actuator Networks 10 (3) (2021)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Implementing Ethical Governors in BDI. EMAS@AAMAS (2021)
Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken Wallace
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. ISSRE Workshops (2021)
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM (2021)
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59 (1) (2021)
Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
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 12 (1) (2021)
Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS (2021)
Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS Conference (2021)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR (2020)
Louise A. Dennis, Michael Fisher
Verifiable Self-Aware Agent-Based Autonomous Systems. Proc. IEEE 108 (7) (2020)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT (2020)
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
Towards Compositional Verification for Modular Robotic Systems. FMAS (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR (2020)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP (2020)
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS (2020)
Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM (2020)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55 (3) (2020)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39 (1) (2020)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. 45 (2020)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a Framework for Certification of Reliable Autonomous Systems. CoRR (2020)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR (2019)
Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS (2019)
Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher
Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. FM Workshops (1) (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52 (5) (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR (2019)
Michael Fisher, Christian List, Marija Slavkovik, Astrid Weiss
Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). Dagstuhl Reports 9 (4) (2019)
Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks
The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. EMAS@AAMAS (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI (2019)
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
Modular Verification of Autonomous Space Robotics. CoRR (2019)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM (2019)
Paul Bremner, Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. Proc. IEEE 107 (3) (2019)
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
Probabilistic Model Checking of Robots Deployed in Extreme Environments. CoRR (2018)
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
Autonomous Nuclear Waste Management. IEEE Intell. Syst. 33 (6) (2018)
Louise A. Dennis, Michael Fisher, Matt Webster
Two-stage agent program verification. J. Log. Comput. 28 (3) (2018)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Louise A. Dennis, Michael Fisher
Practical Challenges in Explicit Ethical Machine Reasoning. ISAIM (2018)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-Scale Verification of Distributed Synchronisation. CoRR (2018)
Louise A. Dennis, Michael Fisher
Practical Challenges in Explicit Ethical Machine Reasoning. CoRR (2018)
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotics and Integrated Formal Methods: Necessity Meets Opportunity. IFM (2018)
Michael Winikoff, Louise A. Dennis, Michael Fisher
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS (2018)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM (2018)
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
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV (2018)
Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann
Making Sense of the World: Models for Reliable Sensor-Driven Systems. CoRR (2018)
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotics and Integrated Formal Methods: Necessity meets Opportunity. CoRR (2018)
Maryam Kamali, Sven Linker, Michael Fisher
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. FTSCS (2018)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS (2018)
Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Comput. 7 (4) (2018)
Maryam Kamali, Sven Linker, Michael Fisher
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. CoRR (2018)
Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS (2017)
Vicky Charisi, Louise A. Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy
Towards Moral Autonomous Systems. CoRR (2017)
Omar I. Al-Bataineh, Michael Fisher, David S. Rosenblum
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. CoRR (2017)
Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. FVAV@iFM (2017)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148 (2017)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST (2017)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR (2017)
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster
Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. 77 (2016)
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
Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. TAROS (2016)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR (2016)
Michael Fisher, Christian List, Marija Slavkovik, Alan F. T. Winfield
Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222). Dagstuhl Reports 6 (5) (2016)
Louise A. Dennis, Marija Slavkovik, Michael Fisher
"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. COIN@AAMAS/ECAI (2016)
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23 (3) (2016)
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres
Formal Verification of Autonomous Vehicle Platooning. CoRR (2016)
Marija Slavkovik, Louise A. Dennis, Michael Fisher
An abstract formal basis for digital crowds. Distributed Parallel Databases 33 (1) (2015)
Savas Konur, Michael Fisher
A roadmap to pervasive systems verification. Knowl. Eng. Rev. 30 (3) (2015)
Louise A. Dennis, Michael Fisher, Alan F. T. Winfield
Towards Verifiably Ethical Robot Behaviour. CoRR (2015)
Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield
Towards Verifiably Ethical Robot Behaviour. AAAI Workshop: AI and Ethics (2015)
M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks
A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. AAMAS (2015)
Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. TAROS (2014)
Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox
Formal verification of a pervasive messaging system. Formal Aspects Comput. 26 (4) (2014)

Michael Fisher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Fisher