Verifying Normative System Specification containing Collective Imperatives and Deadlines

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

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

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems
PublisherACM
Pages1821-1822
Number of pages2
ISBN (Electronic)978-1-4503-3413-6
Publication statusPublished - 2015
Event2015 International Conference on Autonomous Agents and Multiagent Systems - Istanbul, Turkey
Duration: 4 May 20158 May 2015

Conference

Conference2015 International Conference on Autonomous Agents and Multiagent Systems
CountryTurkey
CityIstanbul
Period4/05/158/05/15

Cite this

Gasparini, L., Norman, T. J., Kollingbaum, M. J., Chen, L., & Meyer, J-J. C. (2015). Verifying Normative System Specification containing Collective Imperatives and Deadlines. In Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems (pp. 1821-1822). ACM. http://dl.acm.org/citation.cfm?id=2773454