Refining strategic ability in alternating-time temporal logic

Dimitar P. Guelev
DOI: https://doi.org/10.1016/j.ic.2016.10.013
IF: 1.24
2017-06-01
Information and Computation
Abstract:
What problem does this paper attempt to address?