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
Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory, 2013. ,
Principles of model checking, 2008. ,
Introduction to discrete event systems, 2008. ,
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
Reasoning about knowledge, 1995. ,
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
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
Dynamic Logic, 2000. ,
Diagnosability in concurrent probabilistic systems, AAMAS, pp.853-860, 2013. ,
Logical Foundations of Imperfect Information Games: Uniform Strategies, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-00980490
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
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
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
Complete axiomatizations for reasoning about knowledge and branching time, Studia Logica, vol.75, issue.1, pp.93-123, 2003. ,
DOI : 10.1023/A:1026181001368