Organisations

Liverpool

• Department of Computer Science
• Centre for Autonomous Systems Technology

Sheffield

• Department for Automatic Control and Systems Engineering
• Sheffield Robotics

West of England

• Bristol Robotics Lab

Events sponsored by Verifiable Autonomy

Workshops

Agent Verification Workshop University of Liverpool, 2015

Project Members

Michael Fisher

• Web Page

Sandor Veres

• Web Page

Alan Winfield

• Web Page
• Blog  – Verifiable Autonomy Posts

Louise Dennis

• Web Page

Maryam Kamali

• Web Page

Wenguo Liu

• Web Page

Owen McAree

• LinkedIn

Dieter Vanderelst

• Web Page
• Blog