Satisfiability of ATL with strategy contexts.

François Laroussinie Nicolas Markey

Published in: GandALF (2013)

Keyphrases

multi agent systems
model checking
satisfiability problem
computational complexity
search strategy
real world
artificial intelligence
information systems
np complete
temporal logic
real time
data sets
evolutionary algorithm
propositional logic
optimal strategy