Refining strategic ability in alternating-time temporal logic.

Dimitar P. Guelev

Published in: Inf. Comput. (2017)

Keyphrases

alternating time temporal logic
model checking
case study
search algorithm
knowledge management
imperfect information