Alan Winfield, Principal Investigator on Verifiable Autonomy at Bristol Robots Lab, has written several posts about Verifiable Autonomy on his own blog.
These posts discuss the design and implementation of his Ethical Robot which we used as the basis of the Towards Verifiably Ethical Robot Behaviour and they are well worth reading if you are interested in the the topic of constraining a robot’s behaviour using an Ethical Framework.
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.