Autonomous systems have the promise to address many of our societal challenges in a variety areas. To realize this potential, these need be trustworthy. We describe research carried out by U.K. consortium central issue establishing trustworthiness: verifiability.

CONTENTS Introduction ................................................................................................ 2 I. The Control and Predictability Gap in Autonomous Systems .................. 7 1. We Want Control, But the Best We Can Do is Approximate ......... 12 2. The Problem with Lack of Control and Unpredictability in FaultBase Regimes .................................................

The 2021 edition of AAMAS, the International Conference on Autonomous Agents and Multiagent Systems, took place from 3rd to 7th May (aamas2021.soton.ac.uk). This year it was organized in form a virtual event attracted over 1,000 registered participants. As every year, conference featured an exciting programme contributed talks, keynotes addresses, tutorials, affiliated workshops, doctoral conso...

The excess work required to drive a stochastic system out of thermodynamic equilibrium through time-dependent external perturbation is directly related the amount entropy produced during driving process, allowing and production be used interchangeably quantify dissipation. Given common intuition biological molecular machines as internally communicating between components, it tempting extend thi...