Model-checking games for logics of imperfect information

Erich Grädel. Model-checking games for logics of imperfect information. Theoretical Computer Science, 493:2-14, 2013. [doi]

Authors

Erich Grädel

This author has not been identified. Look up 'Erich Grädel' in Google