Alternating-time Temporal Logic on Finite Traces.

Francesco Belardinelli Alessio Lomuscio Aniello Murano Sasha Rubin

Published in: IJCAI (2018)

Keyphrases

alternating time temporal logic
model checking
imperfect information
special case
learning environment
multi agent
pattern matching
finite automata