@inproceedings(DBLP:conf/ijcai/AucherB13,
 author       = "Guillaume Aucher and Thomas Bolander",
 year         = "2013",
 title        = "Undecidability in Epistemic Planning",
 booktitle    = "IJCAI",
 url          = "http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6903",
)
@incollection(aucher2011exploring,
 author       = "Guillaume Aucher and Andreas Herzig",
 year         = "2011",
 title        = "Exploring the power of converse events",
 booktitle    = "Dynamic formal epistemology",
 publisher    = "Springer",
 pages        = "51--74",
 doi          = "10.1007/978-94-007-0074-1\_4",
)
@article(DBLP:journals/corr/abs-1304-4150,
 author       = "Pablo Barcel{\'o} and Diego Figueira and Leonid Libkin",
 year         = "2013",
 title        = "Graph Logics with Rational Relations",
 journal      = "Logical Methods in Computer Science",
 volume       = "9",
 number       = "3",
 url          = "http://dx.doi.org/10.2168/LMCS-9(3:1)2013, http://arxiv.org/abs/1304.4150",
)
@article(van2009merging,
 author       = "Johan van Benthem and Jelle Gerbrandy and Tomohiro Hoshi and Eric Pacuit",
 year         = "2009",
 title        = "Merging frameworks for interaction",
 journal      = "Journal of Philosophical Logic",
 volume       = "38",
 number       = "5",
 pages        = "491--526",
 doi          = "10.1007/s10992-008-9099-x",
)
@article(DBLP:journals/ita/BernetJW02,
 author       = "Julien Bernet and David Janin and Igor Walukiewicz",
 year         = "2002",
 title        = "Permissive strategies: from parity games to safety games",
 journal      = "ITA",
 volume       = "36",
 number       = "3",
 pages        = "261--275",
 url          = "http://dx.doi.org/10.1051/ita:2002013",
)
@book(berstel1979transductions,
 author       = "Jean Berstel",
 year         = "1979",
 title        = "Transductions and context-free languages",
 volume       = "4",
 publisher    = "Teubner Stuttgart",
 doi          = "10.1007/978-3-663-09367-1",
)
@article(DBLP:journals/jancl/BolanderA11,
 author       = "Thomas Bolander and Mikkel Birkegaard Andersen",
 year         = "2011",
 title        = "Epistemic planning for single and multi-agent systems",
 journal      = "Journal of Applied Non-Classical Logics",
 volume       = "21",
 number       = "1",
 pages        = "9--34",
 url          = "http://dx.doi.org/10.3166/jancl.21.9-34",
)
@article(elgot1965relations,
 author       = "C.C. Elgot and J.E. Mezei",
 year         = "1965",
 title        = "On relations defined by generalized finite automata",
 journal      = "IBM Journal of Research and Development",
 volume       = "9",
 number       = "1",
 pages        = "47--68",
 doi          = "10.1147/rd.91.0047",
)
@book(DBLP:books/daglib/0014222,
 author       = "Malik Ghallab and Dana S. Nau and Paolo Traverso",
 year         = "2004",
 title        = "Automated planning - theory and practice",
 publisher    = "Elsevier",
)
@article(DBLP:journals/synthese/HoshiY09,
 author       = "Tomohiro Hoshi and Audrey Yap",
 year         = "2009",
 title        = "Dynamic epistemic logic with branching temporal structures",
 journal      = "Synthese",
 volume       = "169",
 number       = "2",
 pages        = "259--281",
 url          = "http://dx.doi.org/10.1007/s11229-009-9552-6",
)
@inproceedings(DBLP:conf/lori/LowePW11,
 author       = "Benedikt L{\"o}we and Eric Pacuit and Andreas Witzel",
 year         = "2011",
 title        = "DEL Planning and Some Tractable Cases",
 editor       = "Hans P. van Ditmarsch and J{\'e}r{\^o}me Lang and Shier Ju",
 booktitle    = "LORI",
 series       = "Lecture Notes in Computer Science",
 volume       = "6953",
 publisher    = "Springer",
 pages        = "179--192",
 url          = "http://dx.doi.org/10.1007/978-3-642-24130-7_13",
)
@inproceedings(maubertFSTTCS2013court,
 author       = "Bastien Maubert and Sophie Pinchinat",
 year         = "2013",
 title        = "Jumping Automata for Uniform Strategies",
 booktitle    = "{FSTTCS}'13",
 pages        = "287--298",
 doi          = "10.4230/LIPIcs.FSTTCS.2013.287",
)
@article(maubertIGTR2013,
 author       = "Bastien Maubert and Sophie Pinchinat",
 year         = "2014",
 title        = "A General Notion of Uniform Strategies",
 journal      = "International Game Theory Review",
 volume       = "16",
 number       = "01",
 doi          = "10.1142/S0219198914400040",
)
@inproceedings(maubertSR2013,
 author       = "Bastien Maubert and Sophie Pinchinat and Laura Bozzelli",
 year         = "2013",
 title        = "The Complexity of Synthesizing Uniform Strategies",
 editor       = "Fabio Mogavero and Aniello Murano and Moshe Y. Vardi",
 booktitle    = "SR",
 series       = "EPTCS",
 volume       = "112",
 pages        = "115--122",
 url          = "http://dx.doi.org/10.4204/EPTCS.112.17",
)
@inproceedings(pnueli89b,
 author       = "A. Pnueli and R. Rosner",
 year         = "1989",
 title        = "On the Synthesis of an Asynchronous Reactive Module",
 booktitle    = "Proc.\ 16th Int.\ Coll.\ on Automata, Languages and Programming, ICALP'89, Stresa, Italy, LNCS 372",
 publisher    = "Springer-Verlag",
 pages        = "652--671",
 doi          = "10.1007/BFb0035790",
)
@inproceedings(DBLP:conf/mfcs/RiedwegP03,
 author       = "St{\'e}phane Riedweg and Sophie Pinchinat",
 year         = "2003",
 title        = "Quantified Mu-Calculus for Control Synthesis",
 editor       = "Branislav Rovan and Peter Vojt{\'a}s",
 booktitle    = "MFCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "2747",
 publisher    = "Springer",
 pages        = "642--651",
 url          = "http://dx.doi.org/10.1007/978-3-540-45138-9_58",
)
@inproceedings(DBLP:conf/stacs/Thomas95,
 author       = "Wolfgang Thomas",
 year         = "1995",
 title        = "On the Synthesis of Strategies in Infinite Games",
 booktitle    = "STACS",
 pages        = "1--13",
 url          = "http://dx.doi.org/10.1007/3-540-59042-0_57",
)
@inproceedings(DBLP:conf/ijcai/WangA13,
 author       = "Yanjing Wang and Guillaume Aucher",
 year         = "2013",
 title        = "An Alternative Axiomatization of {DEL} and Its Applications",
 booktitle    = "IJCAI",
 url          = "http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6802",
)
@inproceedings(Yu2013,
 author       = "Quan Yu and Ximing Wen and Yongmei Liu",
 year         = "2013",
 title        = "Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions",
 booktitle    = "IJCAI",
 pages        = "1183--1190",
 url          = "http://ijcai.org/papers13/Papers/IJCAI13-178.pdf",
)