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

Developing advanced robotics applications is now facing the safety issue for users, the
environment, and the robot itself, which is a main limitation for their deployment in real life …

New safety critical systems are about to appear in our everyday life: advanced robots able to
interact with humans and perform tasks at home, in hospitals, or at work. A hazardous …

We describe dynamic safety cases, a novel operationalization of the concept of through-life
safety assurance, whose goal is to enable proactive safety management. Using an example …

Few today would dispute that the age of autonomous machines is nearly upon us (cf.,
Kurzweil, 2005; Moravec, 1988), if it is not already. While it is doubtful that one can identify …

Safety-critical systems with decisional abilities, such as autonomous robots, are about to
enter our everyday life. Nevertheless, confidence in their behavior is still limited, particularly …

Robotic systems are multi-dimensional entities, combining both hardware and software, that
are heavily dependent on, and influenced by, interactions with the real world. They can be …

Autonomous systems are increasingly being used in safety-and mission-critical domains,
including aviation, manufacturing, healthcare and the automotive industry. Systems for such …

Whereas in classic robotic applications there is a clear segregation between robots and
operators, novel robotic and cyber-physical systems have evolved in size and functionality to …

Unmanned aerial vehicles (UAVs) are becoming increasingly pervasive in everyday life,
supporting diverse use cases such as aerial photography, delivery of goods, or disaster …