The Autonomy and Verification Network is a research collaboration that focusses on autonomous systems and their verification. Practical autonomous systems that the network have tackled include pilotless aircraft, robotics, and distributed sensor systems.
The network began as the Autonomy and Verification Lab at the University of Liverpool, and in an effort to maintain our collaborations as group members left for other institutions we formed this cross-university network. The network is now distributed across several universities, including The University of Manchester, University of Bergen, Liverpool John Moores University, University of Nottingham, University of Aberdeen, and University of Genova.
The network is led by Professor Michael Fisher.