Autonomous driving has achieved significant milestones in research and development over
the last two decades. There is increasing interest in the field as the deployment of …

At the present time, water and sewer pipe networks are predominantly inspected manually.
In the near future, smart cities will perform intelligent autonomous monitoring of buried pipe …

Digital twins (DT) are emerging as an extremely promising paradigm for run-time modelling
and performability prediction of cyber-physical systems (CPS) in various domains. Although …

The expansion of artificial intelligence (AI) into our lives and livelihoods makes it clear that
we must develop AI to be ethical and trustworthy. We propose Wasabi, a novel conceptual …

The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

Increased demand for less invasive procedures has accelerated the adoption of Intraluminal
Procedures (IP) and Endovascular Interventions (EI) performed through body lumens and …

It is important for autonomous vehicles to have the ability to infer the goals of other vehicles
(goal recognition), in order to safely interact with other vehicles and predict their future …

Abstract Validation and Verification (V&V) of autonomous robotic system software is
becoming a critical issue. Among the V&V techniques at our disposal, formal approaches …

On Specifying for Trustworthiness Page 1 AUTONOMOUS SYSTEMS (AS) are systems that
involve software applications, machines, and people—that is, systems that can take action with …