Satisfiability in Alternating-time Temporal Logic.

Govert van Drimmelen

Published in: LICS (2003)

Keyphrases

alternating time temporal logic
model checking
satisfiability problem
imperfect information
temporal logic
computational complexity
propositional logic
decision procedures
bounded model checking
np complete
phase transition
objective function
orders of magnitude
logic programs