The Autonomy and Verification Network focusses on autonomous systems and their verification. Applications include unmanned aircraft, robotics and distributed sensor systems. The network is distributed across several universities, including The University of Manchester, University of Liverpool, Liverpool John Moores University, and Lancaster University Leipzig.

---