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 proceedingPublished conference 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
Country/TerritoryTurkey
CityIstanbul
Period4/05/158/05/15

Cite this