Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Fisher 0001
Person information
- affiliation: University of Manchester, UK
- affiliation (former): University of Liverpool, UK
Other persons with the same name
- Michael Fisher 0002 — West Chester University, PA, USA
- Michael Fisher 0003 — Case Western Reserve University, USA
- Michael Fisher 0004 — University of Alberta, Canada
- Michael Fisher 0005 — European Centre for Medium-Range Weather Forecasts, Reading, UK
- Michael Fisher 0006 — University of Liverpool, Institute of Integrative Biology, UK
- Michael Fisher 0007 — Columbia College, New York, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j84]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 Ringert, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023)- [c135]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis:
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS 2023: 2370-2372 - [c134]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: 214-227 - [c133]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis:
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS 2023: 345-362 - [i28]Louise A. Dennis, Marie Farrell, Michael Fisher:
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. CoRR abs/2305.11534 (2023) - 2022
- [j83]Michael Fisher, Sven Koenig, Marija Slavkovik:
AI Journal Special Issue on Ethics for Autonomous Systems. Artif. Intell. 305: 103677 (2022) - [j82]Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifiable autonomy: From theory to applications. AI Commun. 35(4): 421-431 (2022) - [j81]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): 325-326 (2022) - [j80]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): 99-101 (2022) - [c132]Joe Collenette, Louise A. Dennis, Michael Fisher:
Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM 2022: 62-76 - [c131]Rafael C. Cardoso, Angelo Ferrando, Michael Fisher:
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM 2022: 193-207 - [i27]Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
A Compositional Approach to Verifying Modular Robotic Systems. CoRR abs/2208.05507 (2022) - 2021
- [j79]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): 8 (2021) - [j78]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): 440-468 (2021) - [j77]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): 44-76 (2021) - [j76]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): 41 (2021) - [j75]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): 402-422 (2021) - [j74]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): 67 (2021) - [j73]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): 97 (2021) - [j72]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): 43:1-43:43 (2021) - [c130]Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher:
Verifiable Machine Ethics in Changing Contexts. AAAI 2021: 11470-11478 - [c129]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: 1733-1734 - [c128]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Implementing Ethical Governors in BDI. EMAS@AAMAS 2021: 22-41 - [c127]Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS 2021 - [c126]Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace:
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. ISSRE Workshops 2021: 401-406 - [c125]Michael Fisher, Angelo Ferrando, Rafael C. Cardoso:
Increasing confidence in autonomous systems. VORTEX@ISSTA 2021: 1-4 - [c124]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: 53-71 - [p6]Raja Chatila, Virginia Dignum, Michael Fisher, Fosca Giannotti, Katharina Morik, Stuart Russell, Karen Yeung:
Trustworthy AI. Reflections on Artificial Intelligence for Humanity 2021: 13-39 - 2020
- [j71]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55(3): 171-221 (2020) - [j70]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) - [j69]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: 101183 (2020) - [j68]Louise A. Dennis, Michael Fisher:
Verifiable Self-Aware Agent-Based Autonomous Systems. Proc. IEEE 108(7): 1011-1026 (2020) - [c123]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: 7-11 - [c122]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT 2020: 191-205 - [c121]Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM 2020: 353-360 - [c120]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: 244-259 - [c119]Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c118]Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck:
Towards Compositional Verification for Modular Robotic Systems. FMAS 2020: 15-22 - [i26]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 abs/2001.09124 (2020) - [i25]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 abs/2003.05311 (2020) - [i24]Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR abs/2007.10045 (2020)
2010 – 2019
- 2019
- [j67]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): 100:1-100:41 (2019) - [j66]Paul Bremner, Louise A. Dennis, Michael Fisher, Alan F. T. Winfield:
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. Proc. IEEE 107(3): 541-561 (2019) - [c117]Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster:
Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI 2019: 8066-8074 - [c116]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: 152-172 - [c115]Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS 2019: 195-212 - [c114]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: 217-232 - [c113]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM 2019: 538-541 - [c112]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: 105-124 - [c111]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: 471-490 - [i23]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 abs/1908.10738 (2019) - [i22]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 abs/1909.03019 (2019) - [i21]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR abs/1911.11597 (2019) - [i20]Michael Fisher, Christian List, Marija Slavkovik, Astrid Weiss:
Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). Dagstuhl Reports 9(4): 59-86 (2019) - 2018
- [j65]Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann:
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Comput. 7(4): 62 (2018) - [j64]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) - [j63]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): 47-55 (2018) - [j62]Louise A. Dennis, Michael Fisher, Matt Webster:
Two-stage agent program verification. J. Log. Comput. 28(3): 499-523 (2018) - [c110]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c109]Michael Winikoff, Louise A. Dennis, Michael Fisher:
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS 2018: 139-157 - [c108]Maryam Kamali, Sven Linker, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. FTSCS 2018: 18-36 - [c107]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: 160-176 - [c106]Marie Farrell, Matt Luckcuck, Michael Fisher:
Robotics and Integrated Formal Methods: Necessity Meets Opportunity. IFM 2018: 161-171 - [c105]Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. ISAIM 2018 - [c104]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: 341-348 - [c103]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [i19]Louise A. Dennis, Michael Fisher:
Practical Challenges in Explicit Ethical Machine Reasoning. CoRR abs/1801.01422 (2018) - [i18]Muffy Calder, Simon Dobson, Michael Fisher, Julie A. McCann:
Making Sense of the World: Models for Reliable Sensor-Driven Systems. CoRR abs/1803.10478 (2018) - [i17]Maryam Kamali, Sven Linker, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. CoRR abs/1804.06647 (2018) - [i16]Marie Farrell, Matt Luckcuck, Michael Fisher:
Robotics and Integrated Formal Methods: Necessity meets Opportunity. CoRR abs/1805.11996 (2018) - [i15]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR abs/1807.00048 (2018) - [i14]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Multi-Scale Verification of Distributed Synchronisation. CoRR abs/1809.10655 (2018) - [i13]Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster:
Probabilistic Model Checking of Robots Deployed in Extreme Environments. CoRR abs/1812.04128 (2018) - 2017
- [j61]Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres:
Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148: 88-106 (2017) - [c102]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: 119-133 - [c101]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST 2017: 224-239 - [c100]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: 35-42 - [i12]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 abs/1703.04741 (2017) - [i11]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 abs/1709.04385 (2017) - [i10]Omar I. Al-Bataineh, Michael Fisher, David S. Rosenblum:
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. CoRR abs/1709.07171 (2017) - 2016
- [j60]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): 305-359 (2016) - [j59]Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster:
Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. 77: 1-14 (2016) - [j58]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): 186-196 (2016) - [c99]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: 42-59 - [c98]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: 75-86 - [i9]Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres:
Formal Verification of Autonomous Vehicle Platooning. CoRR abs/1602.01718 (2016) - [i8]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 abs/1608.07403 (2016) - [i7]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): 114-137 (2016) - 2015
- [j57]Marija Slavkovik, Louise A. Dennis, Michael Fisher:
An abstract formal basis for digital crowds. Distributed Parallel Databases 33(1): 3-31 (2015) - [j56]Savas Konur, Michael Fisher:
A roadmap to pervasive systems verification. Knowl. Eng. Rev. 30(3): 324-341 (2015) - [c97]Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. AAAI Workshop: AI and Ethics 2015 - [c96]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: 423-432 - [i6]Louise A. Dennis, Michael Fisher, Alan F. T. Winfield:
Towards Verifiably Ethical Robot Behaviour. CoRR abs/1504.03592 (2015) - 2014
- [j55]Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox:
Formal verification of a pervasive messaging system. Formal Aspects Comput. 26(4): 677-694 (2014) - [j54]Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump:
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. J. Aerosp. Inf. Syst. 11(5): 258-279 (2014) - [j53]Louise A. Dennis, Michael Fisher, Jonathan M. Aitken, Sandor M. Veres, Yang Gao, Affan Shaukat, Guy Burroughes:
Reconfigurable Autonomy. Künstliche Intell. 28(3): 199-207 (2014) - [j52]Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). J. Log. Comput. 24(6): 1251-1252 (2014) - [c95]Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn:
Formal Verification of an Autonomous Personal Robotic Assistant. AAAI Spring Symposia 2014 - [c94]Louise A. Dennis, Michael Fisher:
Actions with Durations and Failures in BDI Languages. ECAI 2014: 995-996 - [c93]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: 97-108 - [p5]Clare Dixon, Michael Fisher:
On and On the Temporal Way. HOWARD-60 2014: 85-111 - [i5]Marija Slavkovik, Louise A. Dennis, Michael Fisher:
An Abstract Formal Basis for Digital Crowds. CoRR abs/1408.1592 (2014) - 2013
- [j51]Michael Fisher, Louise A. Dennis, Matthew P. Webster:
Verifying autonomous systems. Commun. ACM 56(9): 84-93 (2013) - [j50]Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa:
Autonomous Asteroid Exploration by Rational Agents. IEEE Comput. Intell. Mag. 8(4): 25-38 (2013) - [j49]Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi:
Deductive temporal reasoning with constraints. J. Appl. Log. 11(1): 30-51 (2013) - [j48]Savas Konur, Michael Fisher, Sven Schewe:
Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503: 61-88 (2013) - [c92]M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks:
Agent reasoning for norm compliance: a semantic approach. AAMAS 2013: 499-506 - [c91]Louise A. Dennis, Michael Fisher, Matthew P. Webster:
Using Agent JPF to Build Models for Other Model Checkers. CLIMA 2013: 273-289 - [c90]Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster:
Ethical Choice in Unforeseen Circumstances. TAROS 2013: 433-445 - [i4]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Practical Verification of Decision-Making in Agent-Based Autonomous Systems. CoRR abs/1310.2431 (2013) - 2012
- [j47]Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini:
Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012) - [j46]