CO'IR: Verifying Normative Specifications of Complex Systems

Luca Gasparini, Timothy J Norman, Martin J Kollingbaum, Liang Chen, John-Jules Ch Meyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems
EditorsPablo Noriega, Murat Sensoy
PublisherAAMAS
Pages134-153
Number of pages20
Publication statusPublished - 4 May 2015
EventThe XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems - Istanbul, Turkey
Duration: 4 May 2015 → …

Conference

ConferenceThe XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems
CountryTurkey
CityIstanbul
Period4/05/15 → …

Cite this

Gasparini, L., Norman, T. J., Kollingbaum, M. J., Chen, L., & Meyer, J-J. C. (2015). CO'IR: Verifying Normative Specifications of Complex Systems. In P. Noriega, & M. Sensoy (Eds.), Proceedings of the 19th International Workshop on Coordination, Organisations, Institutions and Norms in Multiagent Systems (pp. 134-153). AAMAS.