Verifying Normative System Specification containing Collective Imperatives and Deadlines

DSpace/Manakin Repository

Verifying Normative System Specification containing Collective Imperatives and Deadlines
 
Gasparini, Luca; Norman, Timothy J.; Kollingbaum, Martin J.; Chen, Liang; Meyer, John-Jules Ch.
(2015)
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, pp. 1821 - 1822
International Conference on Autonomous Agents and Multiagent Systems (AAMAS ’15), pp. 1821 - 1822
(Part of book)
Abstract
Our focus is on the specification and verification of normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its model checker, we show how Linear Temporal Logic properties can be verified, and ... read more
Download/Full Text
Open Access version via Utrecht University Repository Publisher version
 
Keywords: Model Checking, Normative Systems, Collective Imperatives, Taverne
DOI: https://doi.org/10.5555/2772879.2773454
ISBN: 978-1-4503-3413-6
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
(Peer reviewed)
 
 
See more statistics about this item