A verification framework for normative multi-agent systems

L. Astefanoaei, M. Dastani, J.-J. C. Meyer, F. S. de Boer, "A verification framework for normative multi-agent systems", PRIMA, pp. 54-65, 2008.

2008