Towards a Toolchain for Formally Capturing and Monitoring Agent Accountability.

Thomas Sepanosian, Zoran Milosevic

Browse the full EDOC paper archive.