A. Arnold, A. Vincent, and I. Walukiewicz, Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003.
DOI : 10.1016/S0304-3975(02)00442-5

G. Aucher, Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory, 2013.

C. Baier and J. Katoen, Principles of model checking, 2008.

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2008.

C. Dima, C. Enea, and D. P. Guelev, Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions, Electronic Proceedings in Theoretical Computer Science, vol.25, pp.103-117, 2010.
DOI : 10.4204/EPTCS.25.12

R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning about knowledge, 1995.

N. Hadj-alouane, S. Lafortune, and F. Lin, Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation, Discrete Event Dynamic Systems, vol.1, issue.1, pp.379-427, 1996.
DOI : 10.1007/BF01797138

J. Y. Halpern and M. Y. Vardi, The complexity of reasoning about knowledge and time. I. Lower bounds, Journal of Computer and System Sciences, vol.38, issue.1, pp.195-237, 1989.
DOI : 10.1016/0022-0000(89)90039-1

D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic, 2000.

X. Huang, Diagnosability in concurrent probabilistic systems, AAMAS, pp.853-860, 2013.

B. Maubert, Logical Foundations of Imperfect Information Games: Uniform Strategies, 2014.
URL : https://hal.archives-ouvertes.fr/tel-00980490

P. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

J. H. Reif, The complexity of two-player games of incomplete information, Journal of Computer and System Sciences, vol.29, issue.2, pp.274-301, 1984.
DOI : 10.1016/0022-0000(84)90034-5

S. L. Ricker and K. Rudie, Know means no: Incorporating knowledge into discrete-event control systems, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1656-1668, 2000.
DOI : 10.1109/9.880616

R. Van-der-meyden and K. Wong, Complete axiomatizations for reasoning about knowledge and branching time, Studia Logica, vol.75, issue.1, pp.93-123, 2003.
DOI : 10.1023/A:1026181001368