C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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