Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Context: In traditional software systems, Requirements Engineering (RE) activities are well-
established and researched. However, building Artificial Intelligence (AI) based software …

Purpose Advances in technology and computing play an increasingly important role in the
evolution of modern surgical techniques and paradigms. This article reviews the current role …

Abstract Context: Engineering Artificial Intelligence (AI) software is a relatively new area with
many challenges, unknowns, and limited proven best practices. Big companies such as …

Introducing some form of autonomy in robotic surgery is being considered by the medical
community to better exploit the potential of robots in the operating room. However, significant …

In this paper, we present a new impedance control strategy that allows to reproduce a time-
varying stiffness. By properly controlling the energy exchanged during the action, we …

In traditional approaches to building software systems (that do not include an Artificial
Intelligent (AI) or Machine Learning (ML) component), Requirements Engineering (RE) …

Although technology and computation power have become more and more present in our
daily lives, we have yet to see the same tendency in robotics applied to health care. In this …

The configuration space is a fundamental concept that is widely used in algorithmic robotics.
Many applications in robotics, computer-aided design, and related areas can be reduced to …

The next stage for robotics development is to introduce autonomy and cooperation with
human agents in tasks that require high levels of precision and/or that exert considerable …