How can we provide guarantees of behaviours for autonomous systems such as driverless
cars? This tutorial text, for professionals, researchers and graduate students, explains how …

Service robots are increasingly widespread in healthcare and domestic assistance settings.
Nevertheless, the literature still lacks robotic application development approaches that can …

Autonomous systems have the promise to address many of our societal challenges in a
variety of areas. To realize this potential, these systems need to be trustworthy. We describe …

Autonomous systems are often applied in uncertain environments, which require
prospective action planning and retrospective data evaluation for future planning to ensure …

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 …

Multi-agent systems is an evolving discipline that encompasses many different branches of
research. The long-standing Agents at Aberdeen (A 3) group undertakes research across …

The current paper aims at qualifying the distribution of academic papers related to
verification and validation of Adaptive Instructional Systems (AIS) and Adaptive software …

Increasing Confidence in Autonomous Systems Page 1 Increasing Confidence in Autonomous
Systems Michael Fisher University of Manchester Manchester, UK michael.fisher@manchester.ac.uk …

Abstract Cyber-Physical Systems (CPS) are systems composed of computational and
physical processes where constant interaction with the surrounding environment exists …

This paper focuses on the work of the Autonomy and Verification Network (https://autonomy-
and-verification. github. io). In particular it will look at the use of model-checking to verify the …