Browse by People

Dennis, Louise A ORCID: 0000-0003-1426-1896 and Fisher, Michael (2014) Actions with Durations and Failures in BDI Languages. In: European Conference in Artificial Intelligences, Czech Republic.

Collenette, Joe, Dennis, Louise A and Fisher, Michael (2022) Advising Autonomous Cars about the Rules of the Road. .

Aitken, Jonathan M, Veres, Sandor M, Shaukat, Affan, Gao, Yang, Cucco, Elisa, Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael, Kuo, Jeffrey A, Robinson, Thomas and Mort, Paul E (2018) Autonomous Nuclear Waste Management. IEEE INTELLIGENT SYSTEMS, 33 (6). pp. 47-55.

Ferrando, Angelo ORCID: 0000-0002-8711-4670, Cardoso, Rafael C, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Papacchini, Fabio, Fisher, Michael and Mascardi, Viviana (2021) Bridging the gap between single- and multi-model predictive runtime verification. FORMAL METHODS IN SYSTEM DESIGN, 59 (1-3). pp. 44-76.

Dinmohammadi, Fateme, Flynn, David, Fisher, Michael, Jump, Michael ORCID: 0000-0002-1028-2334, Page, Vincent, Robu, Valentin, Patchett, Charles, Tang, Wenshuo and Webster, MP ORCID: 0000-0002-8817-6881 (2019) Certification of Safe and Trusted Robotic Inspection of Assets. In: 2018 Prognostics and System Health Management Conference, 2018-10-26 - 2018-10-28.

Konur, Savas, Fisher, Michael and Schewe, Sven ORCID: 0000-0002-9093-9518 (2013) Combined model checking for temporal, probabilistic, and real-time logics. THEORETICAL COMPUTER SCIENCE, 503. pp. 61-88.

Webster, Matt ORCID: 0000-0002-8817-6881, Western, David, Araiza-Illan, Dejanira, Dixon, Clare ORCID: 0000-0002-4610-9533, Eder, Kerstin, Fisher, Michael and Pipe, Anthony (2020) A Corroborative Approach to Verification and Validation of Human–Robot Teams. International Journal of Robotics Research, 39 (1). pp. 73-99.

Dixon, Clare ORCID: 0000-0002-4610-9533, Konev, Boris ORCID: 0000-0002-6507-0494, Fisher, Michael and Nietiadi, Sherly (2013) Deductive temporal reasoning with constraints. JOURNAL OF APPLIED LOGIC, 11 (1). pp. 30-51.

Alves, Gleifer Vaz, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael (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). p. 41.

Collapse authors list.
Ranganath, Lakshminarayan R, Psarelli, Eftychia Eirini ORCID: 0000-0002-3102-0288, Arnoux, Jean-Baptiste, Braconi, Daniela, Briggs, Michael, Broijersen, Anders, Loftus, Nadia, Bygott, Helen, Cox, Trevor F, Davison, Andrew S ORCID: 0000-0001-5501-4475 et al (show 39 more authors) , Dillon, Jane P ORCID: 0000-0002-7055-5664, Fisher, Michael, FitzGerald, Richard, Genovese, Federica, Glasova, Helena, Hall, Anthony K, Hughes, Andrew T, Hughes, Juliette H ORCID: 0000-0001-6155-4136, Imrich, Richard, Jarvis, Jonathan C, Khedr, Milad, Laan, Dinny, Sang, Kim-Hanh Le Quan, Luangrath, Emily, Lukacova, Olga, Milan, Anna M, Mistry, Alpesh, Mlynarikova, Vanda, Norman, Brendan P ORCID: 0000-0001-9293-4852, Olsson, Birgitta, Rhodes, Nicholas P ORCID: 0000-0002-5173-7032, Rovensky, Jozef, Rudebeck, Mattias, Santucci, Annalisa, Shweihdi, Ella, Scott, Ciaran, Sedlakova, Jana, Sireau, Nicolas, Stancik, Roman, Szamosi, Johan, Taylor, Sophie, van Kan, Christa, Vinjamuri, Sobhan, Vrtikova, Eva, Webb, Chris, West, Elizabeth, Zanova, Elizabeth, Zatkova, Andrea and Gallagher, James A ORCID: 0000-0002-0852-279X (2020) Efficacy and safety of once-daily nitisinone for patients with alkaptonuria (SONIA 2): an international, multicentre, open-label, randomised controlled trial. The Lancet Diabetes and Endocrinology, 8 (9). pp. 762-772.

Dixon, Clare, Fisher, Michael, Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2007) Efficient First-Order Temporal Logic for Infinite-State Systems.

Cardoso, Rafael C, Ferrando, Angelo and Fisher, Michael (2022) Extending Attack-Fault Trees with Runtime Verification. .

Gainer, Paul (2020) Formal Analysis of Artificial Collectives using Parametric Markov Models. PhD thesis, University of Liverpool.

Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael (2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52 (5). 5-.

Webster, Matt ORCID: 0000-0002-8817-6881, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Stocker, Richard and Sierhuis, Maarten (2020) Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.

Kamali, Maryam ORCID: 0000-0002-2789-6914, Dennis, Louise A ORCID: 0000-0003-1426-1896, McAree, Owen, Fisher, Michael and Veres, Sandor M (2017) Formal Verification of Autonomous Vehicle Platooning. Science of Computer Programming, 148. pp. 88-106.

Webster, Matt ORCID: 0000-0002-8817-6881, Salem, Maha, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael and Dautenhahn, Kerstin (2014) Formal Verification of an Autonomous Personal Robotic Assistant. In: AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014), USA.

Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Slavkovik, Marija and Webster, Matt ORCID: 0000-0002-8817-6881 (2016) Formal verification of ethical choices in autonomous systems. ROBOTICS AND AUTONOMOUS SYSTEMS, 77. pp. 1-14.

Dixon, Clare, Webster, Matt ORCID: 0000-0002-8817-6881, Saunders, Joe, Fisher, Michael and Dautenhahn, Kerstin (2014) “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours. In: Towards Autonomous Robotic Systems (TAROS), The Library of Birmingham.

Collapse authors list.
Khand, Aleem U, Backus, Barbra, Campbell, Michael, Frost, Freddy ORCID: 0000-0002-3902-6502, Mullen, Liam, Fisher, Michael, Theodoropoulos, Konstantinos C, Obeidat, Mohammed, Batouskaya, Kate, Carlton, Edward W et al (show 4 more authors) , Van Meerten, Kirsten, Neoh, Kai, Dakshi, Ahmed and Mumma, Bryn E (2023) HEART Score Recalibration Using Higher Sensitivity Troponin T. Annals of emergency medicine, 82 (4). S0196-0644(23)00313-X-S0196-0644(23)00313-X.

McFarlane, Ross High-performance computing for computational biology of the heart. Doctor of Philosophy thesis, University of Liverpool.

Khand, Aleem, Frost, Freddy, Grainger, Ruth, Fisher, Michael, Chew, Pei, Mullen, Liam, Patel, Billal, Obeidat, Mohammed, Albouaini, Khaled and Dodd, James (2020) Identification of high-risk non-ST elevation myocardial infarction at presentation to emergency department. A prospective observational cohort study in North West England. BMJ open, 10 (6). e030128-e030128.

Blake, S, Proscia, C, Eleuteri, A ORCID: 0000-0003-0718-6672, Groves, D and Stables, RH ORCID: 0000-0002-9244-7015 (2020) Identification of the high-risk patient in primary percutaneous coronary intervention: development and validation of a novel predictive index. PhD thesis, University of Liverpool.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In: 14th International Conference on Quantitative Evaluation of SysTems (QEST), 2017-9-5 - 2017-9-7, Berlin, Germany.

Heseltine, Thomas D, Murray, Scott W, Ruzsics, Balazs and Fisher, Michael (2020) Latest Advances in Cardiac CT. EUROPEAN CARDIOLOGY REVIEW, 15. pp. 4-10.

Calder, Muffy, Dobson, Simon, Fisher, Michael and McCann, Julie (2018) Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. COMPUTERS, 7 (4). p. 62.

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.

Bentzen, Martin Mose, Lindner, Felix, Dennis, LA ORCID: 0000-0003-1426-1896 and Fisher, Michael (2018) Moral Permissability of Actions in Smart Home Systems. In: Workshop on Robots, Morality, and Trust through the Verification Lens, 2018-7-19 - 2018-7-19, Oxford, UK.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2020) Multi-Scale Verification of Distributed Synchronisation. Formal Methods in System Design, 55 (3). pp. 171-221.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael ORCID: 0000-0002-0875-3862 (2020) Multi-scale verification of distributed synchronisation. FORMAL METHODS IN SYSTEM DESIGN.

Bremner, Paul, Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael and Winfield, Alan F (2019) On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. PROCEEDINGS OF THE IEEE, 107 (3). pp. 541-561.

Collapse authors list.
Walker, Lauren E ORCID: 0000-0002-3827-4387, FitzGerald, Richard, Saunders, Geoffrey, Lyon, Rebecca, Fisher, Michael, Martin, Karen, Eberhart, Izabela, Woods, Christie, Ewings, Sean, Hale, Colin et al (show 23 more authors) , Rajoli, Rajith KR ORCID: 0000-0002-6015-5712, Else, Laura, Dilly-Penchala, Sujan, Amara, Alieu ORCID: 0000-0002-1137-2948, Lalloo, David G ORCID: 0000-0001-7680-2200, Jacobs, Michael, Pertinez, Henry, Hatchard, Parys, Waugh, Robert, Lawrence, Megan, Johnson, Lucy, Fines, Keira, Reynolds, Helen ORCID: 0000-0001-7443-4520, Rowland, Timothy, Crook, Rebecca, Okenyi, Emmanuel, Byrne, Kelly, Mozgunov, Pavel, Jaki, Thomas, Khoo, Saye ORCID: 0000-0002-2769-0967, Owen, Andrew ORCID: 0000-0002-9819-7651, Griffiths, Gareth and Fletcher, Thomas E (2022) An Open Label, Adaptive, Phase 1 Trial of High-Dose Oral Nitazoxanide in Healthy Volunteers: An Antiviral Candidate for SARS-CoV-2. CLINICAL PHARMACOLOGY & THERAPEUTICS, 111 (3). pp. 585-594.

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.

Webster, MP ORCID: 0000-0002-8817-6881, Breza, Michael, Dixon, Clare, Fisher, Michael and McCann, Julie PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol. [Software]

Cardoso, RC ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896 and Fisher, Michael (2020) Plan Library Reconfigurability in BDI Agents. In: 7th International Workshop on Engineering Multi-Agent Systems, 2019-5-13 - 2019-5-14, Montreal Canada.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2018) The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Quantitative Evaluation of Systems, 11232. pp. 160-176.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2018) The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In: 20th International Conference on Formal Engineering Methods, 2018-11-12 - 2018-11-16, Griffith University, Gold Coast, Australia.

Dennis, Louise and Fisher, Michael (2018) Practical Challenges in Explicit Ethical Machine Reasoning. In: International Symposium on Artificial Intelligence and Mathematics, 2018-1-3 - 2018-1-5, Fort Lauderdale, Florida, US.

Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M (2014) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359.

Zhao, Xingyu ORCID: 0000-0002-3474-349X, Robu, Valentin, Flynn, David, Dinmohammadi, Fateme, Fisher, Michael and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Probabilistic Model Checking of Robots Deployed in Extreme Environments. In: 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, 2019.

Fernandes, Lucas ER, Custodio, Vinicius, Alves, Gleifer V and Fisher, Michael (2017) A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. In: First Workshop on Formal Verification of Autonomous Vehicles, 2017-9-19 - 2017-9-19.

Ferrando, Angelo ORCID: 0000-0002-8711-4670, Dennis, LA ORCID: 0000-0003-1426-1896, Ancona, Davide, Fisher, Michael and Mascardi, Viviana (2018) Recognising Assumption Violations in Autonomous Systems Verification. In: Autonomous Agents and Multi-agent Systems, Stockholm, Sweden.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael, Aitken, Jonathan M, Veres, Sandor M, Gao, Yang, Shaukat, Affan and Burroughes, Guy (2014) Reconfigurable Autonomy. KI - Künstliche Intelligenz, 28 (3). pp. 199-207.

Collapse authors list.
Mullen, Liam, Meah, Mohammed N, Elamin, Ahmed ORCID: 0000-0002-9268-9559, Aggarwal, Suneil, Shahzad, Adeel, Shaw, Matthew, Hasara, Jaroslav, Rashid, Muhammad, Fisher, Michael, Ali, Turab et al (show 9 more authors) , Patel, Billal, Ding, Wern Y ORCID: 0000-0003-3596-6545, Grainger, Ruth, Heseltine, Thomas, Kirmani, Bilal H, Obeidat, Mohammed, Kasolo, Yande, Thatchil, Jecko and Khand, Aleem (2021) Risk of Major Bleeding With Potent Antiplatelet Agents After an Acute Coronary Event: A Comparison of Ticagrelor and Clopidogrel in 5116 Consecutive Patients in Clinical Practice. JOURNAL OF THE AMERICAN HEART ASSOCIATION, 10 (8). e019467-.

Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Fisher, Michael (2018) Robotics and Integrated Formal Methods: Necessity Meets Opportunity. In: Integrated Formal Methods, 2018-9-5 - 2018-7-7, Maynooth, Ireland.

Maple, Carsten, Bradbury, Matthew, Yuan, Hu, Farrell, Marie ORCID: 0000-0001-7708-3877, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael and Atmaca, Ugur Ilker (2020) Security-Minded Verification of Space Systems. In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.

Winikoff, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael (2019) Slicing Agent Programs for More Efficient Verification. In: Engineering Multi-Agent Systems, 2018-7-14 - ?, Stockholm, Sweden.

Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael (2019) A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In: Integrated Formal Methods.

Niknafs-Kermani, Amir, Konev, Boris ORCID: 0000-0002-6507-0494 and Fisher, Michael (2012) Symmetric Temporal Theorem Proving. Master of Philosophy thesis, University of Liverpool.

Collapse authors list.
Denby, Christine, Groves, David G, Eleuteri, Antonio ORCID: 0000-0003-0718-6672, Tsang, Hoo Kee, Leach, Austin, Hammond, Clare, Bridson, John D, Fisher, Michael, Elt, Matthew, Laflin, Robert et al (show 1 more authors) and Fisher, Anthony C (2015) Temporary sympathectomy in chronic refractory angina: a randomised, double-blind, placebo-controlled trial. BRITISH JOURNAL OF PAIN, 9 (3). pp. 142-148.

Webster, Matt ORCID: 0000-0002-8817-6881, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Salem, Maha, Saunders, Joe, Koay, Kheng Lee, Dautenhahn, Kerstin and Saez-Pons, Joan (2016) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Farrell, Marie ORCID: 0000-0001-7708-3877, Fisher, Michael and Luckcuck, Matt ORCID: 0000-0002-6444-9312 (2020) Towards Compositional Verification for Modular Robotic Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 329 (329). pp. 15-22.

Zhao, Xingyu ORCID: 0000-0002-3474-349X, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Fisher, Michael, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Ferrando, Angelo ORCID: 0000-0002-8711-4670 (2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. .

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael and Winfield, Alan FT (2015) Towards Verifiably Ethical Robot Behaviour. AAAI Workshop - Technical Report, WS-15-. pp. 45-52.

Page, Vincent, Webster, MP ORCID: 0000-0002-8817-6881, Fisher, Michael and Jump, Mike ORCID: 0000-0002-1028-2334 (2019) Towards a Methodology to Test UAVs in Hazardous Environments. In: ICAS 2019, The Fifteenth International Conference on Autonomic and Autonomous Systems.

Page, Vincent, Dadswell, Christopher, Webster, Matt, Jump, Mike ORCID: 0000-0002-1028-2334 and Fisher, Michael (2021) Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. ROBOTICS, 10 (3). p. 97.

Stocker, Richard Towards the formal verification of human-agent-robot teamwork. Doctor of Philosophy thesis, University of Liverpool.

Collapse authors list.
Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringer, Jan Oliver, Tyukin, Ivan et al (show 1 more authors) and Woodcock, Jim (2023) Trustworthy Autonomous Systems Through Verifiability. COMPUTER, 56 (2). pp. 40-47.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael and Webster, Matt ORCID: 0000-0002-8817-6881 (2018) Two-stage agent program verification. JOURNAL OF LOGIC AND COMPUTATION, 28 (3). pp. 499-523.

Koay, Kheng Lee, Webster, Matt, Dixon, Clare, Gainer, Paul, Syrdal, Dag, Fisher, Michael and Dautenhahn, Kerstin (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). pp. 402-422.

Dennis, Louise A ORCID: 0000-0003-1426-1896 and Fisher, Michael (2020) Verifiable Self-Aware Agent-Based Autonomous Systems. Proceedings of the IEEE, 108 (7). pp. 1011-1026.

Collapse authors list.
Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David et al (show 2 more authors) , Robu, Valentin and Zhao, Xingyu ORCID: 0000-0002-3474-349X (2018) Verifiable Self-Certifying Autonomous Systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.

Araiza-Illan, Dejanira, Fisher, Michael, Leahy, Kevin, Olszewska, Joanna Isabelle and Redfield, Signe (2022) Verification of Autonomous Systems. IEEE ROBOTICS & AUTOMATION MAGAZINE, 29 (1). pp. 99-101.

Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Webster, Matt ORCID: 0000-0002-8817-6881 (2013) Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56 (9). pp. 84-93.

Koeman, Vincent, Dennis, LA ORCID: 0000-0003-1426-1896, Webster, Matthew ORCID: 0000-0002-8817-6881, Fisher, Michael and Hindriks, Koen (2020) The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems. In: 7th International Conference on Engineering Multi-Agent Systems, 2019-5-13 - 2019-5-14, Montreal, Canada.

Slavkovikj, Marija, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael (2015) An abstract formal basis for digital crowds. Distributed and Parallel Databases, 33 (1). pp. 3-31.

Dennis, Louise A ORCID: 0000-0003-1426-1896, Farwer, Berndt, Bordini, Rafael H, Fisher, Michael and Wooldridge, Michael (2008) A common semantic basis for BDI languages. In: Programming Multi-Agent Systems, Honolulu, USA.

Collapse authors list.
Chew, Pei Gee, Frost, Fredrick ORCID: 0000-0002-3902-6502, Mullen, Liam, Fisher, Michael, Zadeh, Heidar, Grainger, Ruth, Albouaini, Khaled, Dodd, James, Patel, Bilal, Velavan, Periaswamy et al (show 6 more authors) , Kunadian, Babu, Rawatl, Anju, Obafemi, Toba, Tong, Sarah, Jones, Julia and Khand, Aleem (2019) A direct comparison of decision rules for early discharge of suspected acute coronary syndromes in the era of high sensitivity troponin. EUROPEAN HEART JOURNAL-ACUTE CARDIOVASCULAR CARE, 8 (5). pp. 421-431.