บทความที่มีข้อกำหนดการเข้าถึงสาธารณะ - Michael Fisherดูข้อมูลเพิ่มเติม
ไม่มีให้ใช้งานในทุกที่: 3
Trustworthy ai
R Chatila, V Dignum, M Fisher, F Giannotti, K Morik, S Russell, K Yeung
Reflections on artificial intelligence for humanity, 13-39, 2021
ข้อกำหนด: German Research Foundation, Knut and Alice Wallenberg Foundation, European …
ROSMonitoring: a runtime verification framework for ROS
A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...
Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020
ข้อกำหนด: UK Research & Innovation
Formal verification of a pervasive messaging system
S Konur, M Fisher, S Dobson, S Knox
Formal Aspects of Computing 26, 677-694, 2014
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
มีให้ใช้งานในบางที่: 83
Formal specification and verification of autonomous robotic systems: A survey
M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher
ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019
ข้อกำหนด: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 2017
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Practical verification of decision-making in agent-based autonomous systems
LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres
Automated Software Engineering 23, 305-359, 2016
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Towards a framework for certification of reliable autonomous systems
M Fisher, V Mascardi, KY Rozier, BH Schlingloff, M Winikoff, ...
Autonomous Agents and Multi-Agent Systems 35, 1-65, 2021
ข้อกำหนด: US National Science Foundation, US National Aeronautics and Space …
Toward reliable autonomous robotic assistants through formal verification: A case study
M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ...
IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
On proactive, transparent, and verifiable ethical reasoning for robots
P Bremner, LA Dennis, M Fisher, AF Winfield
Proceedings of the IEEE 107 (3), 541-561, 2019
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
A corroborative approach to verification and validation of human–robot teams
M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe
The International Journal of Robotics Research 39 (1), 73-99, 2020
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Towards verifiably ethical robot behaviour
LA Dennis, M Fisher, AFT Winfield
AAAI Workshop-Technical Report, 45-52, 2015
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Generating certification evidence for autonomous unmanned aircraft using model checking and simulation
M Webster, N Cameron, M Fisher, M Jump
Journal of Aerospace Information Systems 11 (5), 258-279, 2014
ข้อกำหนด: UK Science and Technology Facilities Council
Robotics and integrated formal methods: Necessity meets opportunity
M Farrell, M Luckcuck, M Fisher
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Formal Verification of an Autonomous Personal Robotic Assistant.
M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ...
AAAI Spring Symposia, 2014
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
ข้อกำหนด: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
A safety framework for critical systems utilising deep neural networks
X Zhao, A Banks, J Sharp, V Robu, D Flynn, M Fisher, X Huang
Computer Safety, Reliability, and Security: 39th International Conference …, 2020
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
Verifiable self-aware agent-based autonomous systems
LA Dennis, M Fisher
Proceedings of the IEEE 108 (7), 1011-1026, 2020
ข้อกำหนด: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Combined model checking for temporal, probabilistic, and real-time logics
S Konur, M Fisher, S Schewe
Theoretical Computer Science 503, 61-88, 2013
ข้อกำหนด: UK Engineering and Physical Sciences Research Council
แหล่งที่มาและข้อมูลกองทุนดำเนินการโดยโปรแกรมคอมพิวเตอร์โดยอัตโนมัติ