Towards Verifiably Ethical Robot Behaviour
The e-puck, a robot designed for education in engineering