The Autonomy and Verification Laboratory focusses on autonomous systems and their verification. Applications include unmanned aircraft, robotics and distributed sensor systems. The lab is located within the Department of Computer Science, in room 1.17 in the Ashton Building at the University of Liverpool.

The laboratory is led by Professor Michael Fisher.