Zobrazeno 1 - 10
of 3 372
pro vyhledávání: '"Fisher Michael"'
Publikováno v:
EPTCS 411, 2024, pp. 38-55
Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of ROSMonitoring designed to facilitate the monitoring of both topics and s
Externí odkaz:
http://arxiv.org/abs/2411.14367
Autor:
Leahy, Kevin, Asgari, Hamid, Dennis, Louise A., Feather, Martin S., Fisher, Michael, Ibanez-Guzman, Javier, Logan, Brian, Olszewska, Joanna I., Redfield, Signe
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies that underpin them continue to advance, these systems will find their
Externí odkaz:
http://arxiv.org/abs/2411.14155
Autor:
Koay Kheng Lee, Webster Matt, Dixon Clare, Gainer Paul, Syrdal Dag, Fisher Michael, Dautenhahn Kerstin
Publikováno v:
Paladyn, Vol 12, Iss 1, Pp 402-422 (2021)
When studying the use of assistive robots in home environments, and especially how such robots can be personalised to meet the needs of the resident, key concerns are issues related to behaviour verification, behaviour interference and safety. Here,
Externí odkaz:
https://doaj.org/article/12c294c273a34e7c9eda12b8cc747d9c
Autor:
Dennis, Louise A., Fisher, Michael
We consider the question of what properties a Machine Ethics system should have. This question is complicated by the existence of ethical dilemmas with no agreed upon solution. We provide an example to motivate why we do not believe falling back on t
Externí odkaz:
http://arxiv.org/abs/2403.16100
Autor:
Parida, Abhijeet, Jiang, Zhifan, Anwar, Syed Muhammad, Foreman, Nicholas, Stence, Nicholas, Fisher, Michael J., Packer, Roger J., Avery, Robert A., Linguraru, Marius George
For machine learning-based prognosis and diagnosis of rare diseases, such as pediatric brain tumors, it is necessary to gather medical imaging data from multiple clinical sites that may use different devices and protocols. Deep learning-driven harmon
Externí odkaz:
http://arxiv.org/abs/2308.11047