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

Global demographics trend toward an aging population. Hence, there will be an increased
social demand for elderly care. Recently, assistive technologies such as service robots have …

In this article, we address the implementation and deployment of a service robot platform for
interaction with the elderly in the context of a collaborative European initiative. Specifically …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

As social agents, robots designed for human interaction must adhere to human social
norms. How can we enable designers, engineers, and roboticists to design robot behaviors …

A crucial aspect of physical human-robot collaboration (HRC) is to maintain a safe common
workspace for human operator. However, close proximity between human-robot and …

We present an approach for the verification and validation (V&V) of robot assistants in the
context of human–robot interactions, to demonstrate their trustworthiness through …

Robots hold significant promise to assist with providing care to an aging population and to
help overcome increasing caregiver demands. Although a large body of research has …

SocialRobot is a collaborative European project, which focuses on providing a practical and
interactive robotic solution to improve the quality of life of elderly people. Having this in mind …

This paper establishes a framework based on logic and automata theory in which to model
and automatically verify systems of multiple mobile agents moving in environments with …