model-checking, ethical robots, machine ethics,