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.