The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Fisher 0001" ( http://dblp.L3S.de/Authors/Michael_Fisher_0001 )

URL (Homepage):  https://personalpages.manchester.ac.uk/staff/michael.fisher/  Author page on DBLP  Author page in RDF  Community of Michael Fisher 0001 in ASPL-2

Publication years (Num. hits)
1989-1994 (16) 1995-1997 (20) 1998-2000 (17) 2001-2002 (15) 2003-2004 (21) 2005-2006 (16) 2007-2008 (16) 2009-2010 (18) 2011-2012 (15) 2013-2014 (17) 2015-2017 (20) 2018 (19) 2019-2020 (26) 2021 (15) 2022 (6)
Publication types (Num. hits)
article(110) book(2) incollection(8) inproceedings(130) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 33 keywords

Results
Found 258 publication records. Showing 257 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Louise A. Dennis, Clare Dixon, Michael Fisher 0001 Verifiable autonomy: From theory to applications. Search on Bibsonomy AI Commun. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Sven Koenig, Marija Slavkovik 0001 AI Journal Special Issue on Ethics for Autonomous Systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Joe Collenette, Louise A. Dennis, Michael Fisher 0001 Advising Autonomous Cars about the Rules of the Road. Search on Bibsonomy FMAS/ASYDE@SEFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Matt Luckcuck, Marie Farrell, Angelo Ferrando 0001, Rafael C. Cardoso 0001, Louise A. Dennis, Michael Fisher 0001 A Compositional Approach to Verifying Modular Robotic Systems. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Rafael C. Cardoso 0001, Angelo Ferrando 0001, Michael Fisher 0001 Extending Attack-Fault Trees with Runtime Verification. Search on Bibsonomy FMAS/ASYDE@SEFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, Michael Fisher 0001, Kevin Leahy 0001, Joanna Isabelle Olszewska, Signe A. Redfield Verification of Autonomous Systems [TC Spotlight]. Search on Bibsonomy IEEE Robotics Autom. Mag. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith Towards a framework for certification of reliable autonomous systems. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher 0001, 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. Search on Bibsonomy Paladyn J. Behav. Robotics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Georgios Kourtis, Clare Dixon, Michael Fisher 0001, Alexei P. Lisitsa Parameterized verification of leader/follower systems via first-order temporal logic. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher 0001 A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. Search on Bibsonomy J. Sens. Actuator Networks The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando 0001, Louise A. Dennis, Rafael C. Cardoso 0001, Michael Fisher 0001, Davide Ancona, Viviana Mascardi Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Rafael C. Cardoso 0001, Emily C. Collins 0001, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando 0001, Xiaowei Huang 0001, Mike Jump, Georgios Kourtis, Alexei Lisitsa 0001, Matt Luckcuck, Shan Luo 0001, Vincent Pagé, Fabio Papacchini, Matt Webster An Overview of Verification and Validation Challenges for Inspection Robots. Search on Bibsonomy Robotics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher 0001 Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Search on Bibsonomy Robotics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Raja Chatila 0001, Virginia Dignum, Michael Fisher 0001, Fosca Giannotti, Katharina Morik, Stuart Russell 0001, Karen Yeung Trustworthy AI. Search on Bibsonomy Reflections on Artificial Intelligence for Humanity The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher 0001, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken Wallace Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. Search on Bibsonomy ISSRE Workshops The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Martin Mose Bentzen, Felix Lindner 0001, Michael Fisher 0001 Verifiable Machine Ethics in Changing Contexts. Search on Bibsonomy AAAI The full citation details ... 2021 DBLP  BibTeX  RDF
1Michael Fisher 0001, Angelo Ferrando 0001, Rafael C. Cardoso 0001 Increasing confidence in autonomous systems. Search on Bibsonomy VORTEX@ISSTA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rafael C. Cardoso 0001, Angelo Ferrando 0001, Louise A. Dennis, Michael Fisher 0001 Implementing Ethical Governors in BDI. Search on Bibsonomy EMAS@AAMAS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher 0001 Integrating Formal Verification and Assurance: An Inspection Rover Case Study. Search on Bibsonomy NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rafael C. Cardoso 0001, John L. Michaloski, Craig Schlenoff, Angelo Ferrando 0001, Louise A. Dennis, Michael Fisher 0001 Agile Tasking of Robotic Systems with Explicit Autonomy. Search on Bibsonomy FLAIRS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith Summarising a Framework for the Certification of Reliable Autonomous Systems. (PDF / PS) Search on Bibsonomy AAMAS The full citation details ... 2021 DBLP  BibTeX  RDF
1Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 Multi-scale verification of distributed synchronisation. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xingyu Zhao 0001, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher 0001, Xiaowei Huang 0001 A Safety Framework for Critical Systems Utilising Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Michael Fisher 0001, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith Towards a Framework for Certification of Reliable Autonomous Systems. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Rafael C. Cardoso 0001, Marie Farrell, Matt Luckcuck, Angelo Ferrando 0001, Michael Fisher 0001 Heterogeneous Verification of an Autonomous Curiosity Rover. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Rafael C. Cardoso 0001, Louise A. Dennis, Marie Farrell, Michael Fisher 0001, Matt Luckcuck Towards Compositional Verification for Modular Robotic Systems. Search on Bibsonomy FMAS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Matt Webster, Michael Breza, Clare Dixon, Michael Fisher 0001, Julie A. McCann Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. Search on Bibsonomy J. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001 Verifiable Self-Aware Agent-Based Autonomous Systems. Search on Bibsonomy Proc. IEEE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher 0001, Anthony G. Pipe A corroborative approach to verification and validation of human-robot teams. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xingyu Zhao 0001, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher 0001, Xiaowei Huang 0001 A Safety Framework for Critical Systems Utilising Deep Neural Networks. Search on Bibsonomy SAFECOMP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando 0001, Rafael C. Cardoso 0001, Michael Fisher 0001, Davide Ancona, Luca Franceschini, Viviana Mascardi ROSMonitoring: A Runtime Verification Framework for ROS. Search on Bibsonomy TAROS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Rafael C. Cardoso 0001, Marie Farrell, Matt Luckcuck, Angelo Ferrando 0001, Michael Fisher 0001 Heterogeneous Verification of an Autonomous Curiosity Rover. Search on Bibsonomy NFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando 0001, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso 0001, Craig Schlenoff, Michael Fisher 0001 Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? Search on Bibsonomy AIRO@AI*IA The full citation details ... 2020 DBLP  BibTeX  RDF
1Rafael C. Cardoso 0001, Angelo Ferrando 0001, Louise A. Dennis, Michael Fisher 0001 An Interface for Programming Verifiable Autonomous Agents in ROS. Search on Bibsonomy EUMAS/AT The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Christian List, Marija Slavkovik 0001, Astrid Weiss Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher 0001 A Summary of Formal Specification and Verification of Autonomous Robotic Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Xingyu Zhao 0001, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang 0001, Michael Fisher 0001, Fabio Papacchini, Angelo Ferrando 0001 Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marie Farrell, Rafael C. Cardoso 0001, Louise A. Dennis, Clare Dixon, Michael Fisher 0001, Georgios Kourtis, Alexei Lisitsa 0001, Matt Luckcuck, Matt Webster Modular Verification of Autonomous Space Robotics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 Formal Specification and Verification of Autonomous Robotic Systems: A Survey. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Bremner, Louise A. Dennis, Michael Fisher 0001, Alan F. T. Winfield On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. Search on Bibsonomy Proc. IEEE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher 0001 Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. Search on Bibsonomy FM Workshops (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xingyu Zhao 0001, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher 0001, Matt Webster Probabilistic Model Checking of Robots Deployed in Extreme Environments. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 A Summary of Formal Specification and Verification of Autonomous Robotic Systems. Search on Bibsonomy IFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher 0001, Koen V. Hindriks The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. Search on Bibsonomy EMAS@AAMAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rafael C. Cardoso 0001, Louise A. Dennis, Michael Fisher 0001 Plan Library Reconfigurability in BDI Agents. Search on Bibsonomy EMAS@AAMAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xingyu Zhao 0001, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang 0001, Michael Fisher 0001, Fabio Papacchini, Angelo Ferrando 0001 Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. Search on Bibsonomy SEFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Matthew Bradbury, Michael Fisher 0001, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. Search on Bibsonomy SEFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Simon Dobson, Michael Fisher 0001, Julie A. McCann Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Search on Bibsonomy Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matt Webster, Michael Breza, Clare Dixon, Michael Fisher 0001, Julie A. McCann Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Search on Bibsonomy Electron. Commun. Eur. Assoc. Softw. Sci. Technol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Matt Luckcuck, Michael Fisher 0001 Robotics and Integrated Formal Methods: Necessity meets Opportunity. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001 Practical Challenges in Explicit Ethical Machine Reasoning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 Formal Specification and Verification of Autonomous Robotic Systems: A Survey. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Xingyu Zhao 0001, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher 0001, Matt Webster Probabilistic Model Checking of Robots Deployed in Extreme Environments. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 Multi-Scale Verification of Distributed Synchronisation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Muffy Calder, Simon Dobson, Michael Fisher 0001, Julie A. McCann Making Sense of the World: Models for Reliable Sensor-Driven Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Maryam Kamali, Sven Linker, Michael Fisher 0001 Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Matt Webster Two-stage agent program verification. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan 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 Autonomous Nuclear Waste Management. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maryam Kamali, Sven Linker, Michael Fisher 0001 Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. Search on Bibsonomy FTSCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelo Ferrando 0001, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi Verifying and Validating Autonomous Systems: Towards an Integrated Approach. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Emily C. Collins 0001, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao 0001 Verifiable Self-Certifying Autonomous Systems. Search on Bibsonomy ISSRE Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marie Farrell, Matt Luckcuck, Michael Fisher 0001 Robotics and Integrated Formal Methods: Necessity Meets Opportunity. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Winikoff, Louise A. Dennis, Michael Fisher 0001 Slicing Agent Programs for More Efficient Verification. Search on Bibsonomy EMAS@AAMAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001 Practical Challenges in Explicit Ethical Machine Reasoning. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Angelo Ferrando 0001, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi Recognising Assumption Violations in Autonomous Systems Verification. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Omar I. Al-Bataineh, Michael Fisher 0001, David S. Rosenblum Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher 0001 A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. Search on Bibsonomy FVAV@iFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vicky Charisi, Louise A. Dennis, Michael Fisher 0001, Robert Lieck, Andreas Matthias, Marija Slavkovik 0001, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy Towards Moral Autonomous Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher 0001, Sandor M. Veres Formal verification of autonomous vehicle platooning. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher 0001, Ullrich Hustadt, Joe Saunders, Matt Webster CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matt Webster, Clare Dixon, Michael Fisher 0001, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. Search on Bibsonomy IEEE Trans. Hum. Mach. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Christian List, Marija Slavkovik 0001, Alan F. T. Winfield Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres Practical verification of decision-making in agent-based autonomous systems. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher 0001, Sandor M. Veres Formal Verification of Autonomous Vehicle Platooning. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher 0001, Anthony G. Pipe An Assurance-based Approach to Verification and Validation of Human-Robot Teams. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Marija Slavkovik 0001, Matt Webster Formal verification of ethical choices in autonomous systems. Search on Bibsonomy Robotics Auton. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao 0002, Sandor M. Veres, Michael Fisher 0001 Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. Search on Bibsonomy TAROS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Marija Slavkovik 0001, Michael Fisher 0001 "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. Search on Bibsonomy COIN@AAMAS/ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Savas Konur, Michael Fisher 0001 A roadmap to pervasive systems verification. Search on Bibsonomy Knowl. Eng. Rev. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Alan F. T. Winfield Towards Verifiably Ethical Robot Behaviour. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marija Slavkovik 0001, Louise A. Dennis, Michael Fisher 0001 An abstract formal basis for digital crowds. Search on Bibsonomy Distributed Parallel Databases The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Louise Abigail Dennis, Michael Fisher 0001, Alan F. T. Winfield Towards Verifiably Ethical Robot Behaviour. Search on Bibsonomy AAAI Workshop: AI and Ethics The full citation details ... 2015 DBLP  BibTeX  RDF
1M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher 0001, Koen V. Hindriks A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Jonathan M. Aitken, Sandor M. Veres, Yang Gao 0002, Affan Shaukat, Guy Burroughes Reconfigurable Autonomy. Search on Bibsonomy Künstliche Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marija Slavkovik 0001, Louise A. Dennis, Michael Fisher 0001 An Abstract Formal Basis for Digital Crowds. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthew P. Webster, Neil Cameron, Michael Fisher 0001, Mike Jump Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. Search on Bibsonomy J. Aerosp. Inf. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Fisher 0001, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Savas Konur, Michael Fisher 0001, Simon Dobson, Stephen Knox Formal verification of a pervasive messaging system. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Michael Fisher 0001 On and On the Temporal Way. Search on Bibsonomy HOWARD-60 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001 Actions with Durations and Failures in BDI Languages. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matt Webster, Clare Dixon, Michael Fisher 0001, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn Formal Verification of an Autonomous Personal Robotic Assistant. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
1Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher 0001, Kerstin Dautenhahn "The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. Search on Bibsonomy TAROS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher 0001, Alexei Lisitsa 0001 Autonomous Asteroid Exploration by Rational Agents. Search on Bibsonomy IEEE Comput. Intell. Mag. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Savas Konur, Michael Fisher 0001, Sven Schewe Combined model checking for temporal, probabilistic, and real-time logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Fisher 0001, Louise A. Dennis, Matthew P. Webster Verifying autonomous systems. Search on Bibsonomy Commun. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clare Dixon, Boris Konev, Michael Fisher 0001, Sherly Nietiadi Deductive temporal reasoning with constraints. Search on Bibsonomy J. Appl. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 257 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license