13 citations · 18 across the 4 of their papers we have counts for
4 papers
Hazard Management in Robot-Assisted Mammography Support
Ioannis Stefanakos, Roisin Bradley, Radu Calinescu +3
Robotic and embodied-AI systems have the potential to improve accessibility and quality of care in clinical settings, but their deployment in close physical contact with vulnerable…
Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
Calum Corrie Imrie, Ioannis Stefanakos, Sepeedeh Shahbeigi +2
The rapid advancement of machine learning (ML) has led to its increasing integration into cyber-physical systems (CPS) across diverse domains. While CPS offer powerful capabilities…
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, Sinem Getir Yaman +11
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empat…
Towards Adaptive Planning of Assistive-care Robot Tasks
Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu +1
This 'research preview' paper introduces an adaptive path planning framework for robotic mission execution in assistive-care applications. The framework provides a graph-based envi…