Publications
2025
An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations
Buss Becker, L., de Oliveira Silvestre, I., Hübner, J. F., & Fisher, M. (2025). An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations. Robotics and Autonomous Systems, 186, 104917. doi:10.1016/j.robot.2025.104917
The future starts now
Dix, J., & Fisher, M. (2025). The future starts now. Annals of Mathematics and Artificial Intelligence, 93(1), 5-6. doi:10.1007/s10472-025-09970-0
Specifying Agent Ethics
Dennis, L. A., & Fisher, M. (2025). Specifying Agent Ethics. In Lecture Notes in Computer Science (pp. 3-14). Springer Nature Switzerland. doi:10.1007/978-3-031-82039-7_1
2024
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Ghaffari Saadat, M., Ferrando, A., Dennis, L. A., & Fisher, M. (2024). ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. In Electronic Proceedings in Theoretical Computer Science Vol. 411 (pp. 38-55). Open Publishing Association. doi:10.4204/eptcs.411.3
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition
Buss Becker, L., Downs, A., Schlenoff, C., Albrecht, J., Kootbally, Z., Ferrando, A., . . . Fisher, M. (2024). Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. Journal of Intelligent & Robotic Systems, 110(3). doi:10.1007/s10846-024-02148-6
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges
Belle, V., Fisher, M., Russo, A., Komendantskaya, E., & Nottle, A. (2024). Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. In Unknown Conference (pp. 180-200). Springer Nature Switzerland. doi:10.1007/978-3-031-56255-6_10
Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
Kourtis, G., Dixon, C., & Fisher, M. (2024). Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints. IEEE Transactions on Software Engineering, 50(9), 2458-2471. doi:10.1109/tse.2024.3440587
Security-Minded Verification of Cooperative Awareness Messages
Farrell, M., Bradbury, M., Cardoso, R. C., Fisher, M., Dennis, L. A., Dixon, C., . . . Maple, C. (2024). Security-Minded Verification of Cooperative Awareness Messages. IEEE Transactions on Dependable and Secure Computing, 21(4), 4048-4065. doi:10.1109/tdsc.2023.3345543
2023
Verifiable Autonomous Systems
Dennis, L. A., & Fisher, M. (2023). Verifiable Autonomous Systems. Cambridge University Press. doi:10.1017/9781108755023
Trustworthy Autonomous Systems Through Verifiability
Mousavi, M. R., Cavalcanti, A., Fisher, M., Dennis, L., Hierons, R., Kaddouh, B., . . . Woodcock, J. (2023). Trustworthy Autonomous Systems Through Verifiability. COMPUTER, 56(2), 40-47. doi:10.1109/MC.2022.3192206
Adaptive Cognitive Agents: Updating Action Descriptions and Plans
Stringer, P., Cardoso, R. C., Dixon, C., Fisher, M., & Dennis, L. A. (2023). Adaptive Cognitive Agents: Updating Action Descriptions and Plans. In Lecture Notes in Computer Science (pp. 345-362). Springer Nature Switzerland. doi:10.1007/978-3-031-43264-4_22
Clinical safety in cardiology and artificial intelligence
Fisher, M. (2024). Clinical safety in cardiology and artificial intelligence. In Intelligence-Based Cardiology and Cardiac Surgery (pp. 327-331). Elsevier. doi:10.1016/b978-0-323-90534-3.00018-4
Towards Forward Responsibility in BDI Agents
Cardoso, R. C., Ferrando, A., Collenette, J., Dennis, L. A., & Fisher, M. (2023). Towards Forward Responsibility in BDI Agents. In Lecture Notes in Computer Science (pp. 3-22). Springer Nature Switzerland. doi:10.1007/978-3-031-48539-8_1
Updating Action Descriptions and Plans for Cognitive Agents
Stringer, P., Cardoso, R. C., Dixon, C., Fisher, M., & Dennis, L. A. (2023). Updating Action Descriptions and Plans for Cognitive Agents. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 2023-May (pp. 2370-2372).
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition
Becker, L. B., Downs, A., Schlenoff, C., Albrecht, J., Kootbally, Z., Ferrando, A., . . . Fisher, M. (2023). Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. In Unknown Conference (pp. 214-227). Springer Nature Switzerland. doi:10.1007/978-3-031-43264-4_14
2022
Advising Autonomous Cars about the Rules of the Road
Collenette, J., Dennis, L. A., & Fisher, M. (2022). Advising Autonomous Cars about the Rules of the Road. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 62-76). doi:10.4204/EPTCS.371.5
Extending Attack-Fault Trees with Runtime Verification
Cardoso, R. C., Ferrando, A., & Fisher, M. (2022). Extending Attack-Fault Trees with Runtime Verification. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 193-207). doi:10.4204/EPTCS.371.14
Verifiable autonomy: From theory to applications
Dennis, L., Dixon, C., & Fisher, M. (2022). Verifiable autonomy: From theory to applications. AI COMMUNICATIONS, 35(4), 421-431. doi:10.3233/AIC-220115
AI Journal Special Issue on Ethics for Autonomous Systems
Fisher, M., Koenig, S., & Slavkovik, M. (2022). AI Journal Special Issue on Ethics for Autonomous Systems. ARTIFICIAL INTELLIGENCE, 305. doi:10.1016/j.artint.2022.103677
Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022)
Kourtis, G., Dixon, C., Fisher, M., & Lisitsa, A. (2022). Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022). FORMAL METHODS IN SYSTEM DESIGN, 60(2), 325-326. doi:10.1007/s10703-023-00408-z
Verification of Autonomous Systems
Araiza-Illan, D., Fisher, M., Leahy, K., Olszewska, J. I., & Redfield, S. (2022). Verification of Autonomous Systems. IEEE ROBOTICS & AUTOMATION MAGAZINE, 29(1), 99-101. doi:10.1109/MRA.2022.3143966
Implementing Ethical Governors in BDI
Cardoso, R. C., Ferrando, A., Dennis, L. A., & Fisher, M. (2022). Implementing Ethical Governors in BDI. In Unknown Book (Vol. 13190, pp. 22-41). doi:10.1007/978-3-030-97457-2_2
2021
Bridging the gap between single- and multi-model predictive runtime verification
Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M., & Mascardi, V. (2021). Bridging the gap between single- and multi-model predictive runtime verification. FORMAL METHODS IN SYSTEM DESIGN, 59(1-3), 44-76. doi:10.1007/s10703-022-00395-7
AGILE TASKING OF ROBOTIC KITTING
Michaloski, J., Aksu, M., Schlenoff, C., Cardoso, R. C., & Fisher, M. (2021). AGILE TASKING OF ROBOTIC KITTING. In PROCEEDINGS OF ASME 2021 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION (IMECE2021), VOL 2B. Retrieved from https://www.webofscience.com/
Parameterized verification of leader/follower systems via first-order temporal logic
Kourtis, G., Dixon, C., Fisher, M., & Lisitsa, A. (2021). Parameterized verification of leader/follower systems via first-order temporal logic. FORMAL METHODS IN SYSTEM DESIGN, 58(3), 440-468. doi:10.1007/s10703-022-00390-y
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems
Ferrando, A., Dennis, L. A., Cardoso, R. C., Fisher, M., Ancona, D., & Mascardi, V. (2021). Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 30(4). doi:10.1145/3447246
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study
Koay, K. L., Webster, M., Dixon, C., Gainer, P., Syrdal, D., Fisher, M., & Dautenhahn, K. (2021). Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12(1), 402-422. doi:10.1515/pjbr-2021-0028
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations
Alves, G. V., Dennis, L., & Fisher, M. (2021). A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10(3). doi:10.3390/jsan10030041
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions
Page, V., Dadswell, C., Webster, M., Jump, M., & Fisher, M. (2021). Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. ROBOTICS, 10(3). doi:10.3390/robotics10030097
Verification for space robotics
Cardoso, R. C., Farrell, M., Kourtis, G., Webster, M., Dennis, L. A., Dixon, C., . . . Lisitsa, A. (2021). Verification for space robotics. In SPACE ROBOTICS AND AUTONOMOUS SYSTEMS (Vol. 131, pp. 377-408). Retrieved from https://www.webofscience.com/
Increasing confidence in autonomous systems
Fisher, M., Ferrando, A., & Cardoso, R. C. (2021). Increasing confidence in autonomous systems. In Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (pp. 1-4). ACM. doi:10.1145/3464974.3468452
Verifiable Autonomy and Responsible Robotics
Dennis, L., & Fisher, M. (2021). Verifiable Autonomy and Responsible Robotics. In Software Engineering for Robotics (pp. 189-217). Springer International Publishing. doi:10.1007/978-3-030-66494-7_7
Towards a framework for certification of reliable autonomous systems
Fisher, M., Mascardi, V., Rozier, K. Y., Schlingloff, B. -H., Winikoff, M., & Yorke-Smith, N. (2021). Towards a framework for certification of reliable autonomous systems. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 35(1). doi:10.1007/s10458-020-09487-2
Agile Tasking of Robotic Systems with Explicit Autonomy
Cardoso, R. C., Michaloski, J. L., Schlenoff, C., Ferrando, A., Dennis, L. A., & Fisher, M. (2021). Agile Tasking of Robotic Systems with Explicit Autonomy. The International FLAIRS Conference Proceedings, 34(1). doi:10.32473/flairs.v34i1.128481
An Overview of Verification and Validation Challenges for Inspection Robots
Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., . . . Webster, M. (2021). An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10(2). doi:10.3390/robotics10020067
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems
Farrell, M., Luckcuck, M., Pullum, L., Fisher, M., Hessami, A., Gal, D., . . . Wallace, K. (2021). Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. In 2021 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2021) (pp. 401-406). doi:10.1109/ISSREW53611.2021.00109
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Bourbouh, H., Farrell, M., Mavridou, A., Sljivo, I., Brat, G., Dennis, L. A., & Fisher, M. (2021). Integrating Formal Verification and Assurance: An Inspection Rover Case Study. In Unknown Book (Vol. 12673, pp. 53-71). doi:10.1007/978-3-030-76384-8_4
Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?
Ferrando, A., Kootbally, Z., Piliptchak, P., Cardoso, R. C., Schlenoff, C., & Fisher, M. (2021). Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?. In Ceur Workshop Proceedings Vol. 2806 (pp. 7-11).
Summarising a framework for the certification of reliable autonomous systems
Fisher, M., Mascardi, V., Rozier, K. Y., Schlingloff, B. H., Winikoff, M., & Yorke-Smith, N. (2021). Summarising a framework for the certification of reliable autonomous systems. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 3 (pp. 1721-1722).
Trustworthy AI
Chatila, R., Dignum, V., Fisher, M., Giannotti, F., Morik, K., Russell, S., & Yeung, K. (2021). Trustworthy AI. In Lecture Notes in Computer Science (pp. 13-39). Springer International Publishing. doi:10.1007/978-3-030-69128-8_2
Verifiable Machine Ethics in Changing Contexts
Dennis, L. A., Bentzen, M. M., Lindner, F., & Fisher, M. (2021). Verifiable Machine Ethics in Changing Contexts. In Proceedings of the AAAI Conference on Artificial Intelligence Vol. 35 (pp. 11470-11478). Association for the Advancement of Artificial Intelligence (AAAI). doi:10.1609/aaai.v35i13.17366
2020
Preface
Luckcuck, M., Farrell, M., & Fisher, M. (2020). Preface. In Electronic Proceedings in Theoretical Computer Science Eptcs Vol. 329.
Towards Compositional Verification for Modular Robotic Systems
Cardoso, R. C., Dennis, L. A., Farrell, M., Fisher, M., & Luckcuck, M. (2020). Towards Compositional Verification for Modular Robotic Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (329), 15-22. doi:10.4204/EPTCS.329.2
Multi-Scale Verification of Distributed Synchronisation
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2020). Multi-Scale Verification of Distributed Synchronisation. Formal Methods in System Design. doi:10.1007/s10703-020-00347-z
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods
Webster, M., Breza, M., Dixon, C., Fisher, M., & McCann, J. (2020). Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. JOURNAL OF COMPUTATIONAL SCIENCE, 45. doi:10.1016/j.jocs.2020.101183
The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems
Koeman, V., Dennis, L. A., Webster, M., Fisher, M., & Hindriks, K. (2020). The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems. In L. Dennis, R. Bordini, & Y. Lespérance (Eds.), Engineering Multi-Agent Systems. EMAS 2019 Vol. 12058 (pp. 152-172). Montreal, Canada: Springer. doi:10.1007/978-3-030-51417-4_8
Verifiable Self-Aware Agent-Based Autonomous Systems
Dennis, L. A., & Fisher, M. (2020). Verifiable Self-Aware Agent-Based Autonomous Systems. Proceedings of the IEEE, 108(7), 1011-1026. doi:10.1109/jproc.2020.2991262
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Zhao, X., Banks, A., Sharp, J., Robu, V., Flynn, D., Fisher, M., & Huang, X. (2020). A Safety Framework for Critical Systems Utilising Deep Neural Networks. Retrieved from http://dx.doi.org/10.1007/978-3-030-54549-9_16
Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations
Webster, M., Dennis, L. A., Dixon, C., Fisher, M., Stocker, R., & Sierhuis, M. (2020). Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In 2020 IEEE AEROSPACE CONFERENCE (AEROCONF 2020). doi:10.1109/aero47225.2020.9172303
Security-Minded Verification of Space Systems
Maple, C., Bradbury, M., Yuan, H., Farrell, M., Dixon, C., Fisher, M., & Atmaca, U. I. (2020). Security-Minded Verification of Space Systems. In 2020 IEEE AEROSPACE CONFERENCE (AEROCONF 2020). doi:10.1109/aero47225.2020.9172563
A Corroborative Approach to Verification and Validation of Human–Robot Teams
Webster, M., Western, D., Araiza-Illan, D., Dixon, C., Eder, K., Fisher, M., & Pipe, A. (2020). A Corroborative Approach to Verification and Validation of Human–Robot Teams. International Journal of Robotics Research, 39(1), 73-99. doi:10.1177/0278364919883338
An Interface for Programming Verifiable Autonomous Agents in ROS
Cardoso, R. C., Ferrando, A., Dennis, L. A., & Fisher, M. (2020). An Interface for Programming Verifiable Autonomous Agents in ROS. In Unknown Book (Vol. 12520, pp. 191-205). doi:10.1007/978-3-030-66412-1_13
ROSMonitoring: A Runtime Verification Framework for ROS
Ferrando, A., Cardoso, R. C., Fisher, M., Ancona, D., Franceschini, L., & Mascardi, V. (2020). ROSMonitoring: A Runtime Verification Framework for ROS. In Unknown Conference (pp. 387-399). Springer International Publishing. doi:10.1007/978-3-030-63486-5_40
2019
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Luckcuck, M., Farrell, M., Dennis, L. A., Dixon, C., & Fisher, M. (2019). A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In INTEGRATED FORMAL METHODS, IFM 2019 Vol. 11918 (pp. 538-541). doi:10.1007/978-3-030-34968-4_33
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
Bremner, P., Dennis, L. A., Fisher, M., & Winfield, A. F. (2019). On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. PROCEEDINGS OF THE IEEE, 107(3), 541-561. doi:10.1109/JPROC.2019.2898267
On Proactive, Transparent and Verifiable Ethical Reasoning for Robots
Dennis, L., Fisher, M., Bremner, P., & Winfield, A. (n.d.). On Proactive, Transparent and Verifiable Ethical Reasoning for Robots. doi:10.17638/datacat.liverpool.ac.uk/667
Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks
Webster, M., Breza, M., Dixon, C., Fisher, M., & McCann, J. (2019). Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the Easst, 76.
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
Kamali, M., Linker, S., & Fisher, M. (2019). Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. In Communications in Computer and Information Science Vol. 1008 CCIS (pp. 18-36). doi:10.1007/978-3-030-12988-0_2
2018
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M., & Webster, M. (2019). Probabilistic Model Checking of Robots Deployed in Extreme Environments. In THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE (pp. 8066-8074). Retrieved from https://www.webofscience.com/
Autonomous Nuclear Waste Management
Aitken, J. M., Veres, S. M., Shaukat, A., Gao, Y., Cucco, E., Dennis, L. A., . . . Mort, P. E. (2018). Autonomous Nuclear Waste Management. IEEE INTELLIGENT SYSTEMS, 33(6), 47-55. doi:10.1109/MIS.2018.111144814
Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent
Alves, G., Dennis, L. A., & Fisher, M. (2018, July 18). Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent. In Workshop on Verification and Validation of Autonomous Systems. Oxford UK.
Robotics and Integrated Formal Methods: Necessity Meets Opportunity
Farrell, M., Luckcuck, M., & Fisher, M. (2018). Robotics and Integrated Formal Methods: Necessity Meets Opportunity. In INTEGRATED FORMAL METHODS, IFM 2018 Vol. 11023 (pp. 161-171). doi:10.1007/978-3-319-98938-9_10
Verifiable Self-Certifying Autonomous Systems
Fisher, M., Collins, E. C., Dennis, L. A., Luckcuck, M., Webster, M., Jump, M., . . . Zhao, X. (2018). Verifiable Self-Certifying Autonomous Systems. In 2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) (pp. 341-348). doi:10.1109/1SSREW.2018.00028
2017
Formal Verification of Autonomous Vehicle Platooning
Kamali, M., Dennis, L. A., McAree, O., Fisher, M., & Veres, S. M. (2017). Formal Verification of Autonomous Vehicle Platooning. Science of Computer Programming, 148, 88-106. doi:10.1016/j.scico.2017.05.006
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
Fernandes, L. E. R., Custodio, V., Alves, G. V., & Fisher, M. (2017). A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 35-42). doi:10.4204/EPTCS.257.5
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours
Gainer, P., Dixon, C. L., Dautenhahn, K., Fisher, M., Hustadt, U., Saunders, J., & Webster, M. (2017). CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. In Lecture Notes in Computer Science Vol. 10471 (pp. 119-133). Torino, Italy: Springer Nature. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-67113-0_8
Towards Robots for Social Engagement
Cucco, E., Fisher, M. D., Dennis, L. A., Dixon, C. L., Webster, M., Broecker, B., . . . Tuyls, K. (n.d.). Towards Robots for Social Engagement. In Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces.
A General Architecture for Flexible Autonomous Systems
Dennis, L., Cucco, E., & Fisher, M. (2017, August 19). A General Architecture for Flexible Autonomous Systems. In IJCAI Workshop on Architectures for Generality and Autonomy. Melbourne, Australia.
"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks
Dennis, L. A., Slavkovik, M., & Fisher, M. (2017). "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. In Coordination, Organizations, Institutions and Norms in Agent Systems XII. The Hague, The Netherlands.
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2017). Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017) Vol. 10503 (pp. 224-239). doi:10.1007/978-3-319-66335-7_14
2013
Verifying Autonomous Systems
Fisher, M., Dennis, L., & Webster, M. (2013). Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56(9), 84-93. doi:10.1145/2500468.2494558
2011
An Introduction to Practical Formal Methods Using Temporal Logic
Fisher, M. (2011). An Introduction to Practical Formal Methods Using Temporal Logic. Wiley. doi:10.1002/9781119991472
2010
Bujorianu, M., & Fisher, M. (Eds.) (2010). Unknown Title. Unknown Journal, 20. doi:10.4204/eptcs.20
Computational Logic in Multi-Agent Systems
Dix, J., Fisher, M., & Novák, P. (Eds.) (2010). Computational Logic in Multi-Agent Systems. Springer Berlin Heidelberg. doi:10.1007/978-3-642-16867-3
2009
Computational Logic in Multi-Agent Systems
Fisher, M., Sadri, F., & Thielscher, M. (Eds.) (2009). Computational Logic in Multi-Agent Systems. Springer Berlin Heidelberg. doi:10.1007/978-3-642-02734-5
Executing Logical Agent Specifications
fisher, M., & Hepple, A. (2009). Executing Logical Agent Specifications. In Multi-Agent Programming (pp. 1-27). Springer US. doi:10.1007/978-0-387-89299-3_1
2008
Language Constructs for Multi-agent Programming
Dennis, L., Fisher, M., & Hepple, A. (2008). Language Constructs for Multi-agent Programming. In Lecture Notes in Computer Science (pp. 137-156). Springer Berlin Heidelberg. doi:10.1007/978-3-540-88833-8_8
2006
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Fisher, M., Van Der Hoek, W., Konev, B., & Lisitsa, A. (2006). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 4160 LNAI).
Verification Within the KARO Agent Theory
Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. -J. C., & van der Hoek, W. (2006). Verification Within the KARO Agent Theory. In NASA Monographs in Systems and Software Engineering (pp. 193-225). Springer London. doi:10.1007/1-84628-271-3_7
2004
Untitled
Heller, J. (2004). Untitled. JOURNAL OF CONTROLLED RELEASE, 100(1), 1-3. doi:10.1016/j.jconrel.2004.08.023
2000
Advances in Temporal Logic
Barringer, H., Fisher, M., Gabbay, D., & Gough, G. (Eds.) (2000). Advances in Temporal Logic. Springer Netherlands. doi:10.1007/978-94-015-9586-5
Guiding Clausal Temporal Resolution
Fisher, M., & Dixon, C. (2000). Guiding Clausal Temporal Resolution. In Applied Logic Series (pp. 167-184). Springer Netherlands. doi:10.1007/978-94-015-9586-5_9
1992
A NORMAL-FORM FOR 1ST-ORDER TEMPORAL FORMULAS
FISHER, M. (1992). A NORMAL-FORM FOR 1ST-ORDER TEMPORAL FORMULAS. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 607, 370-384. Retrieved from https://www.webofscience.com/