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

ABSTRACT Vehicular Ad-Hoc Networks (VANETs), a subset of Mobile Ad-Hoc Networks
(MANETs), are wire-less networks formed around moving vehicles, enabling communication …

Active debris removal in space has become a necessary activity to maintain and facilitate
orbital operations. Current approaches tend to adopt autonomous robotic systems which are …

Modern space systems are increasing in complexity. The advent of the Internet of Space
Things, coupled with the commercialisation of space has resulted in an ecosystem that is …

Autonomous cyber-physical systems are prone to error and failure. Verification and
validation (V&V) is necessary for their safe, secure and resilient operations. Methods to …

Verifying that autonomous space robotic software behaves correctly is crucial, particularly
since such software tends to be mission-critical, where a software failure often equates to …

Automated driving functions are among the most critical software components to develop.
Before deployment in series vehicles, it has to be shown that the functions drive safely and …

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 …

Cybersecurity is becoming vital as industries are gradually moving from automating physical
processes to a higher level automation using cyber physical systems (CPS) and internet of …

Abstract The Autonomy and Verification group 1 1 sits within the Department of Computer
Science 2 2 at the University of Manchester. The group has a long history of research into …