activity
20092026
most citedModel-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

29 citations · 109 across the 33 of their papers we have counts for

collaborators
Showing cs.GTShow all

1 paper · 1 filter

cs.GT2013★ 4 cited

Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics

Rodica Bozianu, Catalin Dima, Constantin Enea

We identify a subproblem of the model-checking problem for the epistemic μ-calculus which is decidable. Formulas in the instances of this subproblem allow free variables within the…