Model checking games are instances of Hintikka's game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed these games for branching time logic. The paper develops an extension to a logic that adds epistemic operators, and interprets the branching time operators with respect to fairness constraints. The implementation of the extended games in the epistemic model checker MCK is described. © Springer-Verlag Berlin Heidelberg 2009.
CITATION STYLE
Huang, X., & Van Der Meyden, R. (2009). Model checking games for a fair branching-time temporal epistemic logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5866 LNAI, pp. 11–20). https://doi.org/10.1007/978-3-642-10439-8_2
Mendeley helps you to discover research relevant for your work.