@article(BaharFGHMPS97, author = {R. Iris Bahar and Erica A. Frohm and Charles M. Gaona and Gary D. Hachtel and Enrico Macii and Abelardo Pardo and Fabio Somenzi}, year = {1997}, title = {Algebraic Decision Diagrams and Their Applications}, journal = {Formal Methods in System Design}, volume = {10}, number = {2/3}, pages = {171--206}, doi = {10.1023/A:1008699807402}, ) @inproceedings(BloemCHJ09, author = {Roderick Bloem and Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann}, year = {2009}, title = {Better Quality in Synthesis through Quantitative Objectives}, editor = {Bouajjani and Maler}, pages = {140--156}, doi = {10.1007/978-3-642-02658-4_14}, ) @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}, series = {LNCS}, volume = {7358}, publisher = {Springer}, pages = {652--657}, doi = {10.1007/978-3-642-31424-7\_45}, ) @inproceedings(BohyBFR13, author = {Aaron Bohy and V{\'{e}}ronique Bruy{\`{e}}re and Emmanuel Filiot and Jean{-}Fran{\c{c}}ois Raskin}, year = {2013}, title = {Synthesis from {LTL} Specifications with Mean-Payoff Objectives}, editor = {Nir Piterman and Scott A. Smolka}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, {TACAS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7795}, publisher = {Springer}, pages = {169--184}, doi = {10.1007/978-3-642-36742-7_12}, ) @proceedings(DBLP:conf/cav/2009, editor = {Ahmed Bouajjani and Oded Maler}, year = {2009}, title = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, publisher = {Springer}, doi = {10.1007/978-3-642-02658-4}, ) @inproceedings(BouyerFLMS08, author = {Patricia Bouyer and Ulrich Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey and Jir{\'{\i}} Srba}, year = {2008}, title = {Infinite Runs in Weighted Timed Automata with Energy Constraints}, booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference, {FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings}, pages = {33--47}, doi = {10.1007/978-3-540-85778-5_4}, ) @article(BrimCDGR11, author = {Lubos Brim and Jakub Chaloupka and Laurent Doyen and Raffaella Gentilini and Jean{-}Fran{\c{c}}ois Raskin}, year = {2011}, title = {Faster algorithms for mean-payoff games}, journal = {Formal Methods in System Design}, volume = {38}, number = {2}, pages = {97--118}, doi = {10.1007/s10703-010-0105-x}, ) @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}, ) @inproceedings(ChatterjeeDHR10, author = {Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Jean{-}Fran{\c{c}}ois Raskin}, year = {2010}, title = {Generalized Mean-payoff and Energy Games}, editor = {Kamal Lodaya and Meena Mahajan}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India}, series = {LIPIcs}, volume = {8}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, pages = {505--516}, doi = {10.4230/LIPIcs.FSTTCS.2010.505}, url = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10007}, ) @article(ChatterjeeRR14, author = {Krishnendu Chatterjee and Mickael Randour and Jean{-}Fran{\c{c}}ois Raskin}, year = {2014}, title = {Strategy synthesis for multi-dimensional quantitative objectives}, journal = {Acta Inf.}, volume = {51}, number = {3-4}, pages = {129--163}, doi = {10.1007/s00236-013-0182-6}, ) @article(CL01, author = {J. Crampton and G. Loizou}, year = {2001}, title = {The completion of a poset in a lattice of antichains}, journal = {International Mathematical Journal}, volume = {1}, number = {3}, pages = {223--238}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.5671}, ) @inproceedings(DoyenR10, author = {Laurent Doyen and Jean{-}Fran{\c{c}}ois Raskin}, year = {2010}, title = {Antichain Algorithms for Finite Automata}, editor = {Javier Esparza and Rupak Majumdar}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6015}, publisher = {Springer}, pages = {2--22}, doi = {10.1007/978-3-642-12002-2_2}, ) @article(EM79, author = {A. Ehrenfeucht and J. Mycielski}, year = {1979}, title = {Positional strategies for mean payoff games}, journal = {International Journal of Game Theory}, volume = {8}, number = {2}, pages = {109--113}, doi = {10.1007/BF01768705}, ) @inproceedings(FiliotJR09, author = {Emmanuel Filiot and Naiyong Jin and Jean{-}Fran{\c{c}}ois Raskin}, year = {2009}, title = {An Antichain Algorithm for {LTL} Realizability}, editor = {Bouajjani and Maler}, pages = {263--277}, doi = {10.1007/978-3-642-02658-4_22}, ) @article(FujitaMY97, author = {Masahiro Fujita and Patrick C. McGeer and Jerry Chih{-}Yuan Yang}, year = {1997}, title = {Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation}, journal = {Formal Methods in System Design}, volume = {10}, number = {2/3}, pages = {149--169}, doi = {10.1023/A:1008647823331}, ) @book(HuthR04, author = {Michael Huth and Mark Dermot Ryan}, year = {2004}, title = {Logic in computer science - modelling and reasoning about systems {(2.} ed.)}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511810275}, ) @inproceedings(MR15patterns, author = {Shahar Maoz and Jan Oliver Ringert}, year = {2015}, title = {{GR(1)} synthesis for {LTL} specification patterns}, booktitle = {ESEC/FSE}, publisher = {{ACM}}, pages = {96--106}, doi = {10.1145/2786805.2786824}, ) @inproceedings(MaozR15synt, author = {Shahar Maoz and Jan Oliver Ringert}, year = {2015}, title = {{Synthesizing a Lego Forklift Controller in GR(1): A Case Study}}, booktitle = {Proc. 4th Workshop on Synthesis, {SYNT} 2015 colocated with CAV 2015}, series = {{EPTCS}}, volume = {202}, pages = {58--72}, doi = {10.4204/EPTCS.202.5}, ) @inproceedings(PR89, author = {Amir Pnueli and Roni Rosner}, year = {1989}, title = {{On the Synthesis of a Reactive Module}}, booktitle = {POPL}, publisher = {{ACM} Press}, pages = {179--190}, doi = {10.1145/75277.75293}, ) @inproceedings(PnueliSZ10, author = {Amir Pnueli and Yaniv Sa'ar and Lenore D. Zuck}, year = {2010}, title = {{JTLV}: {A} Framework for Developing Verification Algorithms}, booktitle = {CAV}, series = {LNCS}, volume = {6174}, publisher = {Springer}, pages = {171--174}, doi = {10.1007/978-3-642-14295-6\_18}, )