Search
 
loader loading subjects...
cover
Decidability of model checking multi-agent systems against a class of EHS specifications
Alessio R. Lomuscio, Jakub Michaliszyn
543 - 548
10.3233/978-1-61499-419-0-543
Frontiers in Artificial Intelligence and Applications
Volume 263: ECAI 2014
Abstract

We define and illustrate the expressiveness of the fragment of the Epistemic Halpern–Shoham Logic as a specification language for multi-agent systems. We consider the model checking problem for systems against specifications given in the logic. We show its decidability by means of a novel technique that may be reused in other contexts for showing decidability of other logics based on intervals.

Download
Creative Commons License