Background Post-stroke fatigue (PSF) is a ubiquitous and overwhelming symptom for most
stroke survivors. However, there are no effective management strategies for PSF, which is …

The recent drive towards achieving greater autonomy and intelligence in robotics has led to
high levels of complexity. Autonomous robots increasingly depend on third-party off-the …

Although there is a rich history of philosophical definitions of ethics when applied to human
behavior, applying the same concepts and principles to AI may be fraught with problems …

We present an implementation of SOTER, a run-time assurance framework for building safe
distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS). The …

Ensuring the safety of autonomous vehicles remains challenging given the uncertainty in
sensing other road users. Moreover, separate safety specifications for perception and …

Ensuring the safety of autonomous vehicles (AVs) is the key requisite for their acceptance in
society. This complexity is the core challenge in formally proving their safety conditions with …

As autonomous cyber-physical systems are responding to the dynamism of our hyper-
connected digital world, they are forming so called dynamic autonomous ecosystems, which …

Autonomous driving systems (ADSs) integrate sensing, perception, drive control, and
several other critical tasks in autonomous vehicles, motivating research into techniques for …

The evolution of software systems into more complex ecosystems creates new challenges in
ensuring their safe and secure behavior. As the complexity of software ecosystems is …

Abstract Cyber Physical Systems (CPS) have increasingly started using Learning Enabled
Components (LECs) for performing perception-based control tasks. The simple design …