On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers.

Fabian Büttner Marina Egea Jordi Cabot

Published in: MoDELS (2012)

Keyphrases

model checking
modulo theories
temporal logic
multi agent systems
alternating time temporal logic
answer set programming
verification method
statistical machine translation
genetic algorithm
sat solvers
image transformations
constraint problems
eigenvalue problems