The first meeting of the Verifiable Autonomy project took place today at Sheffield’s department for Automatic Control and Systems Engineering. Discussions ranged over many topics such as Open Science, Ethical Robotics, Autonomous Control of Vehicle Convoys and Abstracting Sensor Data for Reasoning.

We agreed to host a number of workshops including, hopefully a workshop on Agent Verification in September 2015 in association with the TAROS (Towards Autonomous Robotic Systems) conference in Liverpool. In future we hope to host workshops on Ethical and Legal Aspects of Autonomous Systems, and Verifiable Learning.

We are all very excited about our plans for the future of this project.