Compiling ATL with Continuations.

Jesús Sánchez Cuadrado Jesús M. Perera Aracil

Published in: MtATL@TOOLS (2011)

Keyphrases

multi agent systems
model checking
alternating time temporal logic
temporal logic
database
information retrieval
database systems
dynamic programming
decomposable negation normal form