Formal Verification of Ethical Properties in Multiagent Systems.

Bruno Mermet, Gale Simon

Browse the full ECAI paper archive.