Background Smart device-based human-robot systems provide a wide range of possibilities to enhance the flexibility and robustness of human-robot interactions. These include navigating mobile robots using a single smartwatch, automated monitoring of vital body functions through smartwatches, and the coordination of multi-robot systems. The utilization...

Background Robotic prostheses have the potential to change the lives of millions of lower-limb amputees by providing critical support during legged locomotion. Powered protheses specifically enable complex capabilities including level-ground walking, running, or stair climbing, while also enabling reductions in metabolic cost and improvements in ergonomic...

Background Robust perception algorithms are a vital component in autonomous systems such as self-driving vehicles. Although deep learning (DL) and convolutional neural networks (CNNs) have advanced real-time object recognition capabilities, testing of these systems for correctness has lacked a generalized, reason-based approach. Currently, perception...

Background Numerous countries worldwide are contaminated today with unexploded bombs, resulting in about 15,000 to 20,000 deaths every year and severely injuring countless more. Approximately 80% of these casualties are civilian, with children as the most affected age group. Further, these landmines render terrain unusable to local populations for...