@conference(berwanger2008power,
 author       = "D. Berwanger and L. Doyen",
 year         = "2008",
 title        = "{On the power of imperfect information}",
 booktitle    = "Proc. of FSTTCS",
 organization = "Citeseer",
 pages        = "73--82",
 url          = "http://drops.dagstuhl.de/opus/volltexte/2008/1742",
)
@techreport(bozzelliMaubertPinchinat11a,
 author       = "Laura Bozzelli and Bastien Maubert and Sophie Pinchinat",
 year         = "2011",
 title        = "Opacity Issues in Games with Imperfect Information",
 type         = "Technical Report",
 number       = "PI-1978",
 institution  = "IRISA",
)
@article(Cerny64,
 author       = "J\'an {\v C}ern{\'y}",
 year         = "1964",
 title        = "Pozn{\'a}mka k. homog\'ennym experimentom s konecn{\'y}mi automatmi",
 journal      = "Mat. fyz. {\v c}as SAV",
 volume       = "14",
 pages        = "208--215",
)
@article(CernyPirickaRosenauerova64,
 author       = "J\'an {\v C}ern{\'y} and Alica Pirick\'a and Blanka Rosenauerova",
 year         = "1971",
 title        = "On directable automata",
 journal      = "Kybernetica",
 volume       = "7",
 pages        = "289--298",
)
@conference(chandra1976alternation,
 author       = "A.K. Chandra and L.J. Stockmeyer",
 year         = "1976",
 title        = "{Alternation}",
 booktitle    = "17th annual symposium on Foundations of Computer Science",
 organization = "IEEE",
 pages        = "98--108",
 doi          = "10.1109/SFCS.1976.4",
)
@conference(de2006antichains,
 author       = "M. De Wulf and L. Doyen and T. Henzinger and J.F. Raskin",
 year         = "2006",
 title        = "{Antichains: A new algorithm for checking universality of finite automata}",
 booktitle    = "Computer Aided Verification",
 organization = "Springer",
 pages        = "17--30",
)
@phdthesis(dubreilphd,
 author       = "J. Dubreil",
 year         = "2009",
 title        = "{Monitoring and Supervisory Control for Opacity Properties}",
 school       = "Universit{\'e} de Rennes 1",
)
@conference(dubreil2008opacity,
 author       = "J. Dubreil and P. Darondeau and H. Marchand",
 year         = "2008",
 title        = "{Opacity enforcing control synthesis}",
 booktitle    = "Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on",
 organization = "IEEE",
 pages        = "28--35",
 doi          = "10.1109/WODES.2008.4605918",
)
@inproceedings(dziembowski1997much,
 author       = "S. Dziembowski and M. Jurdzinski and I. Walukiewicz",
 year         = "1997",
 title        = "How much memory is needed to win infinite games?",
 booktitle    = "Logic in Computer Science, 1997. LICS'97. Proceedings., 12th Annual IEEE Symposium on",
 organization = "IEEE",
 pages        = "99--110",
 doi          = "10.1109/LICS.1997.614939",
)
@article(halpern1989complexity,
 author       = "J.Y. Halpern and M.Y. Vardi",
 year         = "1989",
 title        = "The complexity of reasoning about knowledge and time. I. Lower bounds",
 journal      = "Journal of Computer and System Sciences",
 volume       = "38",
 number       = "1",
 pages        = "195--237",
 doi          = "10.1145/12130.12161",
)
@article(hopcroft2006automata,
 author       = "J.E. Hopcroft and R. Motwani and J.D. Ullman",
 year         = "2006",
 title        = "{Automata theory, languages, and computation}",
 journal      = "International Edition",
 doi          = "10.1145/568438.568455",
)
@article(jurdzinski1998deciding,
 author       = "M. Jurdzinski",
 year         = "1998",
 title        = "{Deciding the winner in parity games is in UP [intersection] co-UP}",
 journal      = "Information Processing Letters",
 volume       = "68",
 number       = "3",
 pages        = "119--124",
 doi          = "10.1016/S0020-0190(98)00150-1",
)
@article(martin75,
 author       = "D. Martin",
 year         = "1975",
 title        = "Borel determinacy",
 journal      = "Annales of Mathematics",
 volume       = "102",
 pages        = "363--371",
 doi          = "10.2307/1971035",
)
@conference(maubert2009games,
 author       = "B. Maubert and S. Pinchinat",
 year         = "2009",
 title        = "{Games with Opacity Condition}",
 booktitle    = "Proceedings of the 3rd International Workshop on Reachability Problems",
 organization = "Springer-Verlag",
 pages        = "175",
 doi          = "10.1007/978-3-642-04420-5_16",
)
@article(pin,
 author       = "J.E. Pin",
 year         = "1983",
 title        = "{On two combinatorial problems arising from automata theory}",
 journal      = "Ann. Discrete Math",
 volume       = "17",
 pages        = "535--548",
 doi          = "10.1016/S0304-0208(08)73432-7",
)
@article(reif84,
 author       = "J.H. Reif",
 year         = "1984",
 title        = "{The complexity of two-player games of incomplete information}",
 journal      = "Journal of computer and system sciences",
 volume       = "29",
 number       = "2",
 pages        = "274--301",
 doi          = "10.1016/0022-0000(84)90034-5",
)
@inproceedings(saboori08b,
 author       = "A. Saboori and C.N. Hadjicostis",
 year         = "2008",
 title        = "Opacity-Enforcing Supervisory Strategies for Secure Discrete Event Systems",
 booktitle    = "IEEE Conference on Decision and Control (CDC)",
 address      = "Cancun, Mexico",
 pages        = "889--894",
 doi          = "10.1109/CDC.2008.4738646",
)
@article(Savitch70,
 author       = "Walter J. Savitch",
 year         = "1970",
 title        = "Relationships between nondeterministic and deterministic tape complexities",
 journal      = "J. Comput. System. Sci.",
 volume       = "4",
 pages        = "177--192",
 doi          = "10.1016/S0022-0000(70)80006-X",
)
@conference(stockmeyer1973word,
 author       = "L.J. Stockmeyer and A.R. Meyer",
 year         = "1973",
 title        = "{Word problems requiring exponential time (Preliminary Report)}",
 booktitle    = "Proceedings of the fifth annual ACM symposium on Theory of computing",
 organization = "ACM",
 pages        = "1--9",
 doi          = "10.1145/800125.804029",
)