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

We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

We present rtamt, an online monitoring library for Signal Temporal Logic (STL) and its
interface-aware variant (IA-STL), providing both discrete-and dense-time interpretation of the …

Rise of concerns about AI: reflections and directions Page 1 38 COMMUNICATIONS OF THE ACM |
OCTOBER 2015 | VOL. 58 | NO. 10 viewpoints IMA GE COUR TE S Y OF …

The use of robots in the modern world is widespread, not only in medicine and automated
vehicles, but also in national security, defense, and industry. Together with the growing …

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 …

Recently, robotic applications have been seeing widespread use across industry, often
tackling safety-critical scenarios where software reliability is paramount. These scenarios …

Robotic technologies are continuously transforming the domestic and the industrial
environments. Recently the Robotic Operating System (ROS), has been widely adopted both …

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 …

For unmanned aerial systems (UAS) to be successfully deployed and integrated within the
national airspace, it is imperative that they possess the capability to effectively complete their …