Alan Winfield has written a number of new posts on his blog that are relevant to the Verifiable Autonomy project. These include:

Engineering Moral Agents

Could we Make a Moral Machine?

How Ethical is your Robot?

Towards Ethical Robots: An Update

Like Doing Brain Surgery on Robots