Michael Fisher 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 58 from 58

2023

Roadmap for Responsible Robotics (Dagstuhl Seminar 23371)Michael Fisher 0001, Marija Slavkovik 0001, Anna Dobrosovestnova, Nick Schuster. dagstuhl-reports, 13(9):103-115, 2023. [doi]

Towards Forward Responsibility in BDI AgentsRafael C. Cardoso 0001, Angelo Ferrando 0001, Joe Collenette, Louise A. Dennis, Michael Fisher 0001. emas 2023: 3-22 [doi]

Trustworthy Autonomous Systems Through VerifiabilityMohammad Reza Mousavi 0001, Ana Cavalcanti 0001, Michael Fisher 0001, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock 0001. Computer, 56(2):40-47, February 2023. [doi]

Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation CompetitionLeandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando 0001, Rafael C. Cardoso 0001, Michael Fisher 0001. eumas 2023: 214-227 [doi]

Prospective Responsibility for Multi-agent SystemsJoe Collenette, Louise A. Dennis, Michael Fisher 0001. sgai 2023: 247-252 [doi]

Adaptive Cognitive Agents: Updating Action Descriptions and PlansPeter Stringer, Rafael C. Cardoso 0001, Clare Dixon, Michael Fisher 0001, Louise A. Dennis. eumas 2023: 345-362 [doi]

Updating Action Descriptions and Plans for Cognitive AgentsPeter Stringer, Rafael C. Cardoso 0001, Clare Dixon, Michael Fisher 0001, Louise A. Dennis. atal 2023: 2370-2372 [doi]

2022

2021

Trustworthy AIRaja Chatila 0001, Virginia Dignum, Michael Fisher 0001, Fosca Giannotti, Katharina Morik, Stuart Russell, Karen Yeung. In Bertrand Braunschweig, Malik Ghallab, editors, Reflections on Artificial Intelligence for Humanity. Volume 12600 of Lecture Notes in Computer Science, pages 13-39, Springer, 2021. [doi]

Towards a framework for certification of reliable autonomous systemsMichael Fisher 0001, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith. AAMAS, 35(1):8, 2021. [doi]

Summarising a Framework for the Certification of Reliable Autonomous SystemsMichael Fisher 0001, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith. atal 2021: 1733-1734 [doi]

Increasing confidence in autonomous systemsMichael Fisher 0001, Angelo Ferrando, Rafael C. Cardoso. ISSTA 2021: 1-4 [doi]

Bridging the gap between single- and multi-model predictive runtime verificationAngelo Ferrando 0001, Rafael C. Cardoso 0001, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher 0001, Viviana Mascardi. fmsd, 59(1):44-76, 2021. [doi]

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction RegulationsGleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher 0001. jsan, 10(3):41, 2021. [doi]

Integrating Formal Verification and Assurance: An Inspection Rover Case StudyHamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher 0001. NFM 2021: 53-71 [doi]

Agile Tasking of Robotic Systems with Explicit AutonomyRafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher 0001. flairs 2021: [doi]

Implementing Ethical Governors in BDIRafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher 0001. emas 2022: 22-41 [doi]

Verifiable Machine Ethics in Changing ContextsLouise A. Dennis, Martin Mose Bentzen, Felix Lindner 0001, Michael Fisher 0001. AAAI 2021: 11470-11478 [doi]

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous SystemsMarie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher 0001, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken Wallace. issre 2021: 401-406 [doi]

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive SystemsAngelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher 0001, Davide Ancona, Viviana Mascardi. TOSEM, 30(4), 2021. [doi]

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept studyKheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher 0001, Kerstin Dautenhahn. paladyn, 12(1):402-422, 2021. [doi]

Parameterized verification of leader/follower systems via first-order temporal logicGeorgios Kourtis, Clare Dixon, Michael Fisher 0001, Alexei P. Lisitsa. fmsd, 58(3):440-468, 2021. [doi]

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection MissionsVincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher 0001. robotics, 10(3):97, 2021. [doi]

2020

Heterogeneous Verification of an Autonomous Curiosity RoverRafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher 0001. NFM 2020: 353-360 [doi]

An Interface for Programming Verifiable Autonomous Agents in ROSRafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher 0001. eumas 2020: 191-205 [doi]

Verifiable Self-Aware Agent-Based Autonomous SystemsLouise A. Dennis, Michael Fisher 0001. pieee, 108(7):1011-1026, 2020. [doi]

ROSMonitoring: A Runtime Verification Framework for ROSAngelo Ferrando, Rafael C. Cardoso, Michael Fisher 0001, Davide Ancona, Luca Franceschini, Viviana Mascardi. taros 2020: 387-399 [doi]

Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher 0001. aiia 2021: 7-11 [doi]

Multi-scale verification of distributed synchronisationPaul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001. fmsd, 55(3):171-221, 2020. [doi]

A corroborative approach to verification and validation of human-robot teamsMatt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher 0001, Anthony G. Pipe. ijrr, 39(1), 2020. [doi]

Exploring the effects of environmental conditions and design choices on IoT systems using formal methodsMatt Webster, Michael Breza, Clare Dixon, Michael Fisher 0001, Julie A. McCann. jocs, 45:101183, 2020. [doi]

A Safety Framework for Critical Systems Utilising Deep Neural NetworksXingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher 0001, Xiaowei Huang 0001. safecomp 2020: 244-259 [doi]

2019

Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171)Michael Fisher 0001, Christian List, Marija Slavkovik, Astrid Weiss. dagstuhl-reports, 9(4):59-86, 2019. [doi]

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an AgentGleifer Vaz Alves, Louise A. Dennis, Michael Fisher 0001. FM 2020: 217-232 [doi]

On Proactive, Transparent, and Verifiable Ethical Reasoning for RobotsPaul Bremner, Louise A. Dennis, Michael Fisher 0001, Alan F. T. Winfield. pieee, 107(3):541-561, 2019. [doi]

Plan Library Reconfigurability in BDI AgentsRafael C. Cardoso, Louise A. Dennis, Michael Fisher 0001. emas 2020: 195-212 [doi]

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness MessagesMarie Farrell, Matthew Bradbury, Michael Fisher 0001, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple. SEFM 2019: 471-490 [doi]

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic SystemsVincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher 0001, Koen V. Hindriks. emas 2020: 152-172 [doi]

A Summary of Formal Specification and Verification of Autonomous Robotic SystemsMatt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher 0001. IFM 2019: 538-541 [doi]

Probabilistic Model Checking of Robots Deployed in Extreme EnvironmentsXingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher 0001, Matt Webster. AAAI 2019: 8066-8074 [doi]

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health ManagementXingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher 0001, Fabio Papacchini, Angelo Ferrando. SEFM 2019: 105-124 [doi]

2018

Verifiable Self-Certifying Autonomous SystemsMichael Fisher 0001, Emily Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao. issre 2018: 341-348 [doi]

Autonomous Nuclear Waste ManagementJonathan M. Aitken, Sandor M. Veres, Affan Shaukat, Yang Gao 0002, Elisa Cucco, Louise A. Dennis, Michael Fisher 0001, Jeffrey A. Kuo, Thomas Robinson, Paul E. Mort. expert, 33(6):47-55, 2018. [doi]

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven SystemsMuffy Calder, Simon Dobson, Michael Fisher 0001, Julie A. McCann. computers, 7(4):62, 2018. [doi]

Two-stage agent program verificationLouise A. Dennis, Michael Fisher 0001, Matt Webster. logcom, 28(3):499-523, 2018. [doi]

Robotics and Integrated Formal Methods: Necessity Meets OpportunityMarie Farrell, Matt Luckcuck, Michael Fisher 0001. IFM 2018: 161-171 [doi]

Recognising Assumption Violations in Autonomous Systems VerificationAngelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi. atal 2018: 1933-1935 [doi]

Verifying and Validating Autonomous Systems: Towards an Integrated ApproachAngelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi. RV 2018: 263-281 [doi]

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled OscillatorsPaul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001. icfem 2018: 160-176 [doi]

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and TimeMaryam Kamali, Sven Linker, Michael Fisher 0001. ftscs 2019: 18-36 [doi]

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor NetworksMatt Webster, Michael Breza, Clare Dixon, Michael Fisher 0001, Julie A. McCann. eceasst, 76, 2018. [doi]

2014

Formal Verification of an Autonomous Personal Robotic AssistantMatt Webster, Clare Dixon, Michael Fisher 0001, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn. aaaiss 2014: [doi]

2009

Executing Logical Agent SpecificationsMichael Fisher 0001, Anthony Hepple. In Amal El Fallah-Seghrouchni, Jürgen Dix, Mehdi Dastani, Rafael H. Bordini, editors, Multi-Agent Programming, Languages, Tools and Applications. pages 1-27, Springer, 2009. [doi]

1997

An alternative approach to concurrent theorem-provingMichael Fisher 0001. In James Geller, Hiroaki Kitano, Christian B. Suttner, editors, Parallel Processing for Artificial Intelligence 3. Volume 20 of Machine Intelligence and Pattern Recognition, pages 209-230, Elsevier, 1997. [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Michael Fisher 0001'

Viewing Publication 1 - 58 from 58

2023

2022

2021

2020

2019

2018

2014

2009

1997

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Michael Fisher 0001'

Viewing Publication 1 - 58 from 58

2023

2022

2021

2020

2019

2018

2014

2009

1997

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1