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

In this article, we describe an approach to autonomous system construction that not only
supports self-awareness but also formal verification. This is based on modular construction …

One of the primary, if not most critical, difficulties in the design and implementation of
autonomous systems is the black-boxed nature of the decision-making structures and logical …

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 …

Cooperating cyber-physical systems-of-systems (CO-CPS) such as vehicle platoons, robot
teams or drone swarms usually have strict safety requirements on both spatial and temporal …

Autonomous robotic systems such as Connected and Autonomous Vehicle (CAV) systems
are both safety-and security-critical, since a breach in system security may impact safety …

Platooning system is a well-known technology for alleviating traffic congestion and
increasing fuel efficiency by grouping vehicles. It has the major characteristics of Systems of …

CADS (cooperative autonomous driving systems) are software‐intensive and safety‐critical
reactive systems and give great promise to our daily life, but system errors may not be …

Autonomous robotic systems systems are both safety-and security-critical, since a breach in
system security may impact safety. In such critical systems, formal verification is used to …

Autonomous driving vehicles are a kind of typical cyber-physical systems integrating
complex interactions between hardware and software components such as collaborative …