Nardine Osman, David Robertson, Christopher Walton. Run-time model checking of interaction and deontic models for multi-agent systems. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 238-240, ACM, 2006. [doi]
Abstract is missing.