@inproceedings(BohyBFJR12,
 author       = {Aaron Bohy and V{\'{e}}ronique Bruy{\`{e}}re and Emmanuel Filiot and Naiyong Jin and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2012},
 title        = {{Acacia+, a Tool for {LTL} Synthesis}},
 booktitle    = {{CAV}},
 pages        = {652--657},
 doi          = {10.1007/978-3-642-31424-7\_45},
)
@inproceedings(BonetG00,
 author       = {Blai Bonet and Hector Geffner},
 year         = {2000},
 title        = {{Planning with Incomplete Information as Heuristic Search in Belief Space}},
 booktitle    = {Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems},
 pages        = {52--61},
)
@article(Bryant86,
 author       = {Randal E. Bryant},
 year         = {1986},
 title        = {{Graph-Based Algorithms for Boolean Function Manipulation}},
 journal      = {{IEEE} Trans. Computers},
 volume       = {35},
 number       = {8},
 pages        = {677--691},
 doi          = {10.1109/TC.1986.1676819},
)
@article(BryceKS06,
 author       = {Daniel Bryce and Subbarao Kambhampati and David E. Smith},
 year         = {2006},
 title        = {{Planning Graph Heuristics for Belief Space Search}},
 journal      = {J. Artif. Intell. Res.},
 volume       = {26},
 pages        = {35--99},
 doi          = {10.1613/jair.1869},
)
@article(Buchi1960,
 author       = {B\IeC{\"u}chi, J.},
 year         = {1960},
 title        = {{Weak Second-Order Arithmetic and Finite Automata}},
 journal      = {Mathematical Logic Quarterly - MLQ},
 volume       = {6},
 pages        = {66--92},
 doi          = {10.1002/malq.19600060105},
)
@inproceedings(CamachoBMM18,
 author       = {Alberto Camacho and Jorge A. Baier and Christian J. Muise and Sheila A. McIlraith},
 year         = {2018},
 title        = {{Finite {LTL} Synthesis as Planning}},
 booktitle    = {{ICAPS}},
 pages        = {29--38},
)
@inproceedings(CamachoBM19,
 author       = {Alberto Camacho and Meghyn Bienvenu and Sheila A. McIlraith},
 year         = {2019},
 title        = {{Towards a Unified View of {AI} Planning and Reactive Synthesis}},
 booktitle    = {{ICAPS}},
 pages        = {58--67},
)
@article(ChandraKS81,
 author       = {Ashok K. Chandra and Dexter Kozen and Larry J. Stockmeyer},
 year         = {1981},
 title        = {Alternation},
 journal      = {J. {ACM}},
 volume       = {28},
 number       = {1},
 pages        = {114--133},
 doi          = {10.1145/322234.322243},
)
@inproceedings(GiacomoV13,
 author       = {{De Giacomo}, Giuseppe and Moshe Y. Vardi},
 year         = {2013},
 title        = {{Linear Temporal Logic and Linear Dynamic Logic on Finite Traces}},
 booktitle    = {{IJCAI}},
 pages        = {854--860},
)
@inproceedings(GiacomoV15,
 author       = {{De Giacomo}, Giuseppe and Moshe Y. Vardi},
 year         = {2015},
 title        = {{Synthesis for {LTL} and {LDL} on Finite Traces}},
 booktitle    = {{IJCAI}},
 pages        = {1558--1564},
)
@inproceedings(GiacomoV16,
 author       = {{De Giacomo}, Giuseppe and Moshe Y. Vardi},
 year         = {2016},
 title        = {{LTL${}_{\unhbox\voidb@x \hbox{f}}$ and LDL${}_{\unhbox\voidb@x \hbox{f}}$ Synthesis under Partial Observability}},
 booktitle    = {{IJCAI}},
 pages        = {1044--1050},
)
@inbook(DoyenR11,
 author       = {Laurent Doyen and Jean-Fran\IeC{\c c}ois Raskin},
 year         = {2011},
 title        = {Games with Imperfect Information: Theory and Algorithms},
 pages        = {185\IeC{\textendash}212},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511973468.007},
)
@inproceedings(spot,
 author       = {Duret-Lutz, Alexandre and Alexandre Lewkowicz and Amaury Fauchille and Thibaud Michaud and Etienne Renault and Laurent Xu},
 year         = {2016},
 title        = {{Spot 2.0 --- A Framework for {LTL} and $\omega$-automata Manipulation}},
 booktitle    = {ATVA},
 doi          = {10.1007/978-3-319-46520-3\_8},
)
@inproceedings(Ehlers11,
 author       = {R{\"{u}}diger Ehlers},
 year         = {2011},
 title        = {{Unbeast: Symbolic Bounded Synthesis}},
 editor       = {Parosh Aziz Abdulla and K. Rustan M. Leino},
 booktitle    = {{TACAS}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6605},
 publisher    = {Springer},
 pages        = {272--275},
 doi          = {10.1007/978-3-642-19835-9\_25},
)
@inproceedings(FaymonvilleFT17,
 author       = {Peter Faymonville and Bernd Finkbeiner and Leander Tentrup},
 year         = {2017},
 title        = {{BoSy: An Experimentation Framework for Bounded Synthesis}},
 booktitle    = {{CAV}},
 pages        = {325--332},
 doi          = {10.1007/978-3-319-63390-9\_17},
)
@inproceedings(FeltYBS93,
 author       = {Eric Felt and Gary York and Robert K. Brayton and Sangiovanni{-}Vincentelli, Alberto L.},
 year         = {1993},
 title        = {{Dynamic Variable Reordering for {BDD} Minimization}},
 booktitle    = {{EURO-DAC}},
 publisher    = {{IEEE} Computer Society},
 pages        = {130--135},
 doi          = {10.1109/EURDAC.1993.410627},
)
@article(FislerV02,
 author       = {Kathi Fisler and Moshe Y. Vardi},
 year         = {2002},
 title        = {Bisimulation Minimization and Symbolic Model Checking},
 journal      = {Formal Methods Syst. Des.},
 volume       = {21},
 number       = {1},
 pages        = {39--78},
 doi          = {10.1023/A:1016091902809},
)
@inproceedings(FogartyKVW13,
 author       = {Seth Fogarty and Orna Kupferman and Moshe Y. Vardi and Thomas Wilke},
 year         = {2013},
 title        = {{Profile Trees for B{\"{u}}chi Word Automata, with Application to Determinization}},
 booktitle    = {{GandALF}},
 pages        = {107--121},
 doi          = {10.4204/EPTCS.119.11},
)
@inproceedings(GoldmanB96,
 author       = {Robert P. Goldman and Mark S. Boddy},
 year         = {1996},
 title        = {{Expressive Planning and Explicit Knowledge}},
 booktitle    = {Proceedings of the Third International Conference on Artificial Intelligence Planning Systems},
 pages        = {110--117},
)
@inproceedings(HeWKV19,
 author       = {Keliang He and Andrew M. Wells and Lydia E. Kavraki and Moshe Y. Vardi},
 year         = {2019},
 title        = {{Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks}},
 booktitle    = {{ICRA}},
 pages        = {8993--8999},
 doi          = {10.1109/ICRA.2019.8794170},
)
@inproceedings(HenriksenJJKPRS95,
 author       = {Jesper G. Henriksen and Jakob L. Jensen and J{\o}rgensen, Michael E. and Nils Klarlund and Robert Paige and Theis Rauhe and Anders Sandholm},
 year         = {1995},
 title        = {{Mona: Monadic Second-Order Logic in Practice}},
 booktitle    = {{TACAS}},
 pages        = {89--110},
 doi          = {10.1007/3-540-60630-0\_5},
)
@inproceedings(KupfermanV97,
 author       = {Orna Kupferman and Moshe Vardi},
 year         = {1997},
 title        = {{Synthesis with Incomplete Informatio}},
 booktitle    = {{ICTL}},
 pages        = {1044--1050},
 doi          = {10.1007/978-94-015-9586-5_6},
)
@inproceedings(MaliahBKS14,
 author       = {Shlomi Maliah and Ronen I. Brafman and Erez Karpas and Guy Shani},
 year         = {2014},
 title        = {{Partially Observable Online Contingent Planning Using Landmark Heuristics}},
 booktitle    = {{ICAPS}},
)
@inproceedings(MeyerSL18,
 author       = {Philipp J. Meyer and Salomon Sickert and Michael Luttenberger},
 year         = {2018},
 title        = {{Strix: Explicit Reactive Synthesis Strikes Back!}},
 editor       = {Hana Chockler and Georg Weissenbacher},
 booktitle    = {{CAV}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10981},
 publisher    = {Springer},
 pages        = {578--586},
 doi          = {10.1007/978-3-319-96145-3\_31},
)
@inproceedings(Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {{The Temporal Logic of Programs}},
 booktitle    = {18th Annual Symposium on Foundations of Computer Science},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@inproceedings(PnueliR89,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {{On the Synthesis of a Reactive Module}},
 booktitle    = {Sixteenth Annual {ACM} Symposium on Principles of Programming Languages},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@article(Reif84,
 author       = {John H. Reif},
 year         = {1984},
 title        = {{The Complexity of Two-Player Games of Incomplete Information}},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {29},
 number       = {2},
 pages        = {274--301},
 doi          = {10.1016/0022-0000(84)90034-5},
)
@inproceedings(Rintanen04a,
 author       = {Jussi Rintanen},
 year         = {2004},
 title        = {{Complexity of Planning with Partial Observability}},
 booktitle    = {{ICAPS}},
 pages        = {345--354},
)
@article(Rosner91,
 author       = {Roni Rosner},
 year         = {1991},
 title        = {{Modular Synthesis of Reactive Systems}},
)
@inproceedings(SistlaVW85,
 author       = {A. Prasad Sistla and Moshe Y. Vardi and Pierre Wolper},
 year         = {1985},
 title        = {{The Complementation Problem for B{\"{u}}chi Automata with Applications to Temporal Logic (Extended Abstract)}},
 booktitle    = {Automata, Languages and Programming, 12th Colloquium},
 pages        = {465--474},
 doi          = {10.1007/BFb0015772},
)
@article(StockmeyerC79,
 author       = {Larry J. Stockmeyer and Ashok K. Chandra},
 year         = {1979},
 title        = {{Provably Difficult Combinatorial Games}},
 journal      = {{SIAM} J. Comput.},
 volume       = {8},
 number       = {2},
 pages        = {151--174},
 doi          = {10.1137/0208013},
)
@article(TabakovRV12,
 author       = {Deian Tabakov and Kristin Y. Rozier and Moshe Y. Vardi},
 year         = {2012},
 title        = {{Optimized Temporal Monitors for SystemC}},
 journal      = {Formal Methods in System Design},
 volume       = {41},
 number       = {3},
 pages        = {236--268},
 doi          = {10.1007/s10703-011-0139-8},
)
@inproceedings(VardiS85,
 author       = {Moshe Y. Vardi and Larry J. Stockmeyer},
 year         = {1985},
 title        = {{Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report}},
 booktitle    = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing},
 pages        = {240--251},
 doi          = {10.1145/22145.22173},
)
@inproceedings(ZhuPV19,
 author       = {Shufang Zhu and Geguang Pu and Moshe Y. Vardi},
 year         = {2019},
 title        = {{First-Order vs. Second-Order Encodings for LTL$_f$-to-Automata Translation}},
 booktitle    = {{TAMC}},
 pages        = {684--705},
 doi          = {10.1007/978-3-030-14812-6\_43},
)
@inproceedings(ZhuTLPV17,
 author       = {Shufang Zhu and Lucas M. Tabajara and Jianwen Li and Geguang Pu and Moshe Y. Vardi},
 year         = {2017},
 title        = {{Symbolic LTLf Synthesis}},
 booktitle    = {{IJCAI}},
 pages        = {1362--1369},
 doi          = {10.24963/ijcai.2017/189},
)
@article(Zielonka98,
 author       = {Wieslaw Zielonka},
 year         = {1998},
 title        = {{Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees}},
 journal      = {Theor. Comput. Sci.},
 volume       = {200},
 number       = {1-2},
 pages        = {135--183},
 doi          = {10.1016/S0304-3975(98)00009-7},
)