Login / Signup
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
Catalin Dima
Constantin Enea
Dimitar P. Guelev
Published in:
GANDALF (2010)
Keyphrases
</>
alternating time temporal logic
model checking
imperfect information
temporal logic
formal verification
game theoretic
model checker
formal specification
symbolic model checking
game theory
game playing
epistemic logic
temporal properties
multi agent systems
upper bound
bounded model checking