Relentful strategic reasoning in alternating-time temporal logic.

Fabio Mogavero Aniello Murano Moshe Y. Vardi

Published in: J. Log. Comput. (2016)

Keyphrases

alternating time temporal logic
multi agent decision making
knowledge management
model checking
imperfect information
reasoning tasks
decision making
dynamic programming