@inproceedings{CDV15, author = {K. Chatterjee and L. Doyen and M.~Y. Vardi}, title = {The Complexity of Synthesis from Probabilistic Components}, booktitle = {Proceedings of ICALP: International Colloquium on Automata, Languages and Programming (Part II)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = {2015}, pages = {} } @article{CDRR15, author = {K. Chatterjee and L. Doyen and M. Randour and J.-F. Raskin}, title = {Looking at Mean-Payoff and Total-Payoff Through Windows}, journal = {Information and Computation}, volume = {242}, year = {2015}, pages = {25-52}, publisher = {Elsevier} } @article{VCDHRR15, author = {Y. Velner and K. Chatterjee and L. Doyen and T.~A. Henzinger and A. Rabinovich and J.-F. Raskin}, title = {The Complexity of Multi-Mean-Payoff and Multi-Energy Games}, journal = {Information and Computation}, volume = {241}, year = {2015}, pages = {177-196}, publisher = {Elsevier} } @inproceedings{DJLMS14, author = {L. Doyen and L. Juhl and K.~G. Larsen and N. Markey and M. Shirmohammadi}, title = {Synchronizing Words for Weighted and Timed Automata}, booktitle = {Proceedings of FSTTCS 2014: Foundations of Software Technology and Theoretical Computer Science}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, year = {2014}, pages = {121-132}, isbn = {978-3-939897-77-4} } @inproceedings{DMS14b, author = {L. Doyen and T. Massart and M. Shirmohammadi}, title = {Robust Synchronization in {M}arkov Decision Processes}, booktitle = {Proceedings of CONCUR 2014: Concurrency Theory}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 8704}, year = {2014}, pages = {234-248}, isbn = {978-3-662-44583-9} } @inproceedings{CD14b, author = {K. Chatterjee and L. Doyen}, title = {Games with a Weak Adversary}, booktitle = {Proceedings of ICALP: International Colloquium on Automata, Languages and Programming (Part II)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 8573}, year = {2014}, pages = {110-121} } @article{CD14a, author = {K. Chatterjee and L. Doyen}, title = {Partial-Observation Stochastic Games: How to Win when Belief Fails}, journal = {ACM Transactions on Computational Logic}, volume = {15}, number = {2}, year = {2014} } @inproceedings{CDGO14, author = {K. Chatterjee and L. Doyen and H. Gimbert and Y. Oualhadj}, title = {Perfect-Information Stochastic Mean-Payoff Parity Games}, booktitle = {Proceedings of FoSSaCS: Foundations of Software Science and Computation Structures}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 8412}, year = {2014}, pages = {210-225} } @inproceedings{CDNV14, author = {K. Chatterjee and L. Doyen and S. Nain and M.~Y. Vardi}, title = {The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies}, booktitle = {Proceedings of FoSSaCS: Foundations of Software Science and Computation Structures}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 8412}, year = {2014}, pages = {242-257} } @inproceedings{DMS14a, author = {L. Doyen and T. Massart and M. Shirmohammadi}, title = {Limit Synchronization in Markov Decision Processes}, booktitle = {Proceedings of FoSSaCS: Foundations of Software Science and Computation Structures}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 8412}, year = {2014}, pages = {58-72} } @inproceedings{CDFR14, author = {K. Chatterjee and L. Doyen and E. Filiot and J.-F. Raskin}, title = {Doomsday Equilibria for Omega-Regular Games}, booktitle = {Proceedings of VMCAI: Verification, Model Checking, and Abstract Interpretation}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 8318}, year = {2014}, pages = {78-97} } @article{CDH13, author = {K. Chatterjee and L. Doyen and T.~A. Henzinger}, title = {A survey of partial-observation stochastic parity games}, journal = {Formal Methods in System Design}, volume = {43}, number = {2}, year = {2012}, pages = {268-284}, publisher = {Springer} } @inproceedings{BDGORW13, author = "T. Brihaye and L. Doyen and G. Geeraerts and J. Ouaknine and J.-F. Raskin and J. Worrell", title = "Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points", booktitle = "Proceedings of ATVA 2013: Automated Technology for Verification and Analysis", series = "Lecture Notes in Computer Science 8172", publisher = "Springer-Verlag", year = "2013", pages = "55-70", isbn = "978-3-319-02443-1" } @inproceedings{CDRR13, author = "K. Chatterjee and L. Doyen and M. Randour and J.-F. Raskin", title = "Looking at Mean-Payoff and Total-Payoff through Windows", booktitle = "Proceedings of ATVA 2013: Automated Technology for Verification and Analysis", series = "Lecture Notes in Computer Science 8172", publisher = "Springer-Verlag", year = "2013", pages = "118-132", isbn = "978-3-319-02443-1" } @article{CD12b, author = {K. Chatterjee and L. Doyen}, title = {Energy Parity Games}, journal = {Theoretical Computer Science}, volume = {458}, number = {2}, year = {2012}, pages = {49-60}, publisher = {Elsevier} } @inproceedings{CD12a, author = {K. Chatterjee and L. Doyen}, title = {Partial-Observation Stochastic Games: How to Win when Belief Fails}, booktitle = {Proceedings of LICS 2012: Logic in Computer Science}, publisher = {IEEE Computer Society Press}, year = {2012}, pages = {175-184}, isbn = {978-1-4673-2263-8} } @phdthesis{Doy12, author = "L. Doyen", title = "Games and Automata: From Boolean to Quantitative Verification", school = "ENS Cachan", year = "2012", note = "Habilitation thesis", } @inproceedings{CD11b, author = {K. Chatterjee and L. Doyen}, title = {Games and Markov Decision Processes with Mean-payoff Parity and Energy Parity Objectives}, booktitle = {Proc. of MEMICS 2011: Mathematical and Engineering Methods in Computer Science}, series = {Lecture Notes in Computer Science 7119}, year = {2011}, pages = {37-46}, isbn = {978-3-642-25928-9} } @inproceedings{BBDDR11, author = "Brihaye, T. and Bruyere, V. and Doyen, L. and Ducobu, M. and Raskin J.-F.", title = "Antichain-based QBF Solving", booktitle = "Proceedings of ATVA 2011: Automated Technology for Verification and Analysis", series = "Lecture Notes in Computer Science 6996", publisher = "Springer-Verlag", year = "2011", pages = "183-197", isbn = "978-3-642-24371-4" } @inproceedings{CDS11, author = {Chatterjee, K. and Doyen, L. and Singh, R.}, title = {On Memoryless Quantitative Objectives}, booktitle = {Proceedings of FCT 2011: Fundamentals of Computation Theory}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6914}, year = {2011}, pages = {148-159}, isbn = {978-3-642-22952-7} } @inproceedings{DMS11b, author = {L. Doyen and T. Massart and M. Shirmohammadi}, title = {Infinite Synchronizing Words for Probabilistic Automata}, booktitle = {Proc. of MFCS: Mathematical Foundations of Computer Science}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6907}, year = {2011}, pages = {278-289}, isbn = {978-3-642-22992-3} } @inproceedings{CD11a, author = {K. Chatterjee and L. Doyen}, title = {Energy and Mean-Payoff Parity Markov Decision Processes}, booktitle = {Proc. of MFCS: Mathematical Foundations of Computer Science}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6907}, year = {2011}, pages = {206-218}, isbn = {978-3-642-22992-3} } @inproceedings{BDGORW11, author = {T. Brihaye and L. Doyen and G. Geeraerts and J. Ouaknine and J.-F. Raskin and J. Worrell}, title = {On Reachability for Hybrid Automata over Bounded Time}, booktitle = {Proceedings of ICALP 2011: International Colloquium on Automata, Languages and Programming (Part II)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6756}, year = {2011}, pages = {416-427}, isbn = {978-3-642-22011-1} } @inproceedings{DMS11a, author = {L. Doyen and T. Massart and M. Shirmohammadi}, title = {Synchronizing Objectives for {M}arkov Decision Processes}, booktitle = {Proc. of iWIGP: Interactions, Games and Protocols}, series = {EPTCS 50}, year = {2011}, pages = {61-75} } @article{BCDGR11, author = {L. Brim and J. Chaloupka and L. Doyen and R. Gentilini and J.-F. Raskin}, title = {Faster algorithms for mean-payoff games}, journal = {Formal Methods in System Design}, volume = {38}, number = {2}, year = {2011}, pages = {97-118}, publisher = {Springer} } @incollection{DR11, author = {Doyen, L. and Raskin, J.-F.}, title = {Games with Imperfect Information: Theory and Algorithms}, booktitle = {Lectures in Game Theory for Computer Scientists}, publisher = {Cambridge University Press}, year = {2011}, pages = {185-212} } @inproceedings{CDHR10, author = "Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.", title = "Generalized Mean-payoff and Energy Games", booktitle = "Proceedings of FSTTCS 2010: Foundations of Software Technology and Theoretical Computer Science", series = "Dagstuhl Seminar Proceedings 08008", publisher = "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)", year = "2010", pages = "" } @inproceedings{CD10b, author = "Chatterjee, K. and Doyen, L.", title = "The Complexity of Partial-Observation Parity Games", booktitle = "Proceedings of LPAR 2010: Logic for Programming, Artificial Intelligence, and Reasoning", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science 6397", year = "2010", pages = "1-14" } @article{BCDDH10, author = "Berwanger, D. and Chatterjee, K. and {De Wulf}, M. and Doyen, L. and Henzinger, T.~A.", title = "Strategy Construction for Parity Games with Imperfect Information", journal = {Information and Computation}, volume = {208}, number = {10}, year = {2010}, pages = {1206-1220}, publisher = {Elsevier} } @article{CDH10c, author = "Chatterjee, K. and Doyen, L. and Henzinger, T.~A.", title = "Expressiveness and Closure Properties for Quantitative Languages", journal = "Logical Methods in Computer Science", publisher = "LMCS-Online", volume = "6", number = "3:10", year = "2010" } @article{CDH10b, author = {Chatterjee, K. and Doyen, L. and Henzinger, T.~A.}, title = {Quantitative Languages}, journal = {ACM Transactions on Computational Logic}, volume = {11}, number = {4}, year = {2010} } @inproceedings{CDH10a, author = {Chatterjee, K. and Doyen, L. and Henzinger, T.~A.}, title = {Qualitative Analysis of Partially-observable Markov Decision Processes}, booktitle = {Proceedings of MFCS 2010: Mathematical Foundations of Computer Science}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6281}, year = {2010}, pages = {258-269}, isbn = {978-3-642-15154-5} } @inproceedings{CDGH10, author = {Chatterjee, K. and Doyen, L. and Gimbert, H. and Henzinger, T.~A.}, title = {Randomness for Free}, booktitle = {Proceedings of MFCS 2010: Mathematical Foundations of Computer Science}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6281}, year = {2010}, pages = {246-257}, isbn = {978-3-642-15154-5} } @inproceedings{CDEHR10, author = {Chatterjee, K. and Doyen, L. and Edelsbrunner, H. and Henzinger, T.~A. and Rannou, P.}, title = {Mean-Payoff Automaton Expressions}, booktitle = {Proceedings of CONCUR 2010: Concurrency Theory}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6269}, year = {2010}, pages = {269-283}, isbn = {978-3-642-15374-7} } @inproceedings{DDGRT10, author = {Degorre, A. and Doyen, L. and Gentilini, R. and Raskin, J.-F. and Toru\'nczyk, S.}, title = {Energy and Mean-Payoff Games with Imperfect Information}, booktitle = {Proceedings of CSL 2010: Computer Science Logic}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6247}, year = {2010}, pages = {260-274}, isbn = {978-3-642-15204-7} } @inproceedings{CD10a, author = {Chatterjee, K. and Doyen, L.}, title = {Energy Parity Games}, booktitle = {Proceedings of ICALP 2010: International Colloquium on Automata, Languages and Programming (Part II)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 6199}, year = {2010}, pages = {599-610}, isbn = {978-3-642-14161-4} } @inproceedings{DHLN10, author = {Doyen, L. and Henzinger, T.~A. and Legay, A. and Nickovic, D.}, title = {Robustness of Sequential Circuits}, booktitle = {Proceedings of ACSD 2010: Application of Concurrency to System Design}, publisher = {IEEE Computer Society Press}, year = {2010}, pages = {77-84}, isbn = {978-1-4244-7266-6} } @inproceedings{DR10, author = "Doyen, L. and Raskin, J.-F.", title = "Antichains Algorithms for Finite Automata", booktitle = "Proceedings of TACAS: Tools and Algorithms for the Construction and Analysis of Systems", series = "Lecture Notes in Computer Science 6015", publisher = "Springer-Verlag", year = "2010", pages = "2-22", isbn = "978-3-642-12001-5" } @inproceedings{DGRR09, author = {Doyen, L. and Geeraerts, G. and Raskin, J.-F. and Reichert, J.}, title = {Realizability of Real-Time Logics}, booktitle = {Proceedings of FORMATS: Formal Modelling and Analysis of Timed Systems}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 5813}, year = {2009}, pages = {133-148}, isbn = {978-3-642-04367-3} } @inproceedings{CDH09d, author = {Chatterjee, K. and Doyen, L. and Henzinger, T.~A.}, title = {Alternating Weighted Automata}, booktitle = {Proceedings of FCT 2009: Fundamentals of Computation Theory}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 5699}, year = {2009}, pages = {3-13}, isbn = {978-3-642-03408-4} } @inproceedings{CDH09c, author = {Chatterjee, K. and Doyen, L. and Henzinger, T.~A.}, title = {Probabilistic Weighted Automata}, booktitle = {Proceedings of CONCUR 2009: Concurrency Theory}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 5710}, year = {2009}, pages = {244-258}, isbn = {978-3-642-04080-1} } @inproceedings{CDH09b, author = {Chatterjee, K. and Doyen, L. and Henzinger, T.~A.}, title = {Expressiveness and Closure Properties for Quantitative Languages}, booktitle = {Proceedings of LICS 2009: Logic in Computer Science}, publisher = {IEEE Computer Society Press}, year = {2009}, pages = {199-208}, isbn = {978-0-7695-3746-7} } @inproceedings{CDH09a, author = {Chatterjee, K. and Doyen, L. and Henzinger, T.~A.}, title = {A Survey of Stochastic Games with Limsup and Liminf Objectives}, booktitle = {Proceedings of ICALP 2009: International Colloquium on Automata, Languages and Programming (Part II)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science 5556}, year = {2009}, pages = {1-15}, isbn = {978-3-642-02929-5} } @inproceedings{BCDDH09, author = "Berwanger, D. and Chatterjee, K. and {De Wulf}, M. and Doyen, L. and Henzinger, T.~A.", title = "Alpaga: A Tool for Solving Parity Games with Imperfect Information", booktitle = "Proceedings of TACAS 2009: Tools and Algorithms for the Construction and Analysis of Systems", series = "Lecture Notes in Computer Science 5505", publisher = "Springer-Verlag", year = "2009", pages = "58-61", isbn = "978-3-642-00767-5" } @article{DR09, author = "Doyen, L. and Raskin, J.-F.", title = "Antichains for the Automata-Based Approach to Model-Checking", journal = "Logical Methods in Computer Science", publisher = "LMCS-Online", volume = "5", number = "1:5", year = "2009" } @inproceedings{BD08, author = "Berwanger, D. and Doyen, L.", title = "On the power of imperfect information", booktitle = "Proceedings of FSTTCS 2008: Foundations of Software Technology and Theoretical Computer Science", series = "Dagstuhl Seminar Proceedings 08004", publisher = "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)", year = "2008", pages = "" } @inproceedings{DHJP08, author = "Doyen, L. and Henzinger, T.~A. and Jobstmann, B. and Petrov, T.", title = "Interface Theories with Component Reuse", booktitle = "Proceedings of EMSOFT 2008: Embedded Software", publisher = "ACM-Press", year = "2008", pages = "79-88", isbn = "978-1-60558-468-3" } @inproceedings{DDMR08c, author = "{De Wulf}, M. and Doyen, L. and Maquet, N. and Raskin, J.-F.", title = "Alaska: Antichains for Logic, Automata and Symbolic Kripke structures Analysis", booktitle = "Proceedings of ATVA 2008: Automated Technology for Verification and Analysis", series = "Lecture Notes in Computer Science 5311", publisher = "Springer-Verlag", year = "2008", pages = "240-245", isbn = "978-3-540-88386-9" } @article{DDMR08b, author = "{De Wulf}, M. and Doyen, L. and Markey, N. and Raskin, J.-F.", title = "Robust Safety of Timed Automata", journal = "Formal Methods in System Design", publisher = "Springer-Verlag", volume = "33", number = "1-3", pages = "45-84", year = "2008" } @incollection{CDH08, author = "Chatterjee, K. and Doyen, L. and Henzinger, T.~A.", title = "Quantitative Languages", booktitle = "Proceedings of CSL 2008: Computer Science Logic", series = "Lecture Notes in Computer Science 5213", publisher = "Springer-Verlag", year = "2008", pages = "385-400", isbn = "978-3-540-87530-7" } @incollection{BCDHR08, author = "Berwanger, D. and Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raje, S.", title = "Strategy Construction for Parity Games with Imperfect Information", booktitle = "Proceedings of CONCUR 2008: Concurrency Theory", series = "Lecture Notes in Computer Science 5201", publisher = "Springer-Verlag", year = "2008", pages = "325-339", isbn = "978-3-540-85360-2" } @article{DHR08, author = "Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.", title = "Equivalence of Labeled Markov Chains", journal = "Inernational Journal of Foundations of Computer Science", publisher = "World Scientific", volume = "19", number = "3", pages = "549-563", year = "2008" } @inproceedings{DDMR08a, author = "{De Wulf}, M. and Doyen, L. and Maquet, N. and Raskin, J.-F.", title = "Antichains: Alternative Algorithms for {LTL} Satisfiability and Model-Checking", booktitle = "Proceedings of TACAS 2008: Tools and Algorithms for the Construction and Analysis of Systems", series = "Lecture Notes in Computer Science 4963", publisher = "Springer-Verlag", year = "2008", pages = "63-77", isbn = "978-3-540-78799-0" } @article{CDHR07, author = "Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.", title = "Algorithms for Omega-regular Games of Incomplete Information", journal = "Logical Methods in Computer Science", publisher = "LMCS-Online", volume = "3", number = "3:4", year = "2007" } @article{Doy07, author = "Doyen, L.", title = "Robust Parametric Reachability for Timed Automata", journal = "Information Processing Letters", volume = "102", number = "5", year = "2007", pages = "208-213", publisher = "Elsevier", } @inproceedings{DR07, author = "Doyen, L. and Raskin, J.-F.", title = "Improved Algorithms for the Automata-Based Approach to Model-Checking", booktitle = "TACAS: Tools and Algorithms for the Construction and Analysis of Systems", series = "Lecture Notes in Computer Science 4424", publisher = "Springer-Verlag", year = "2007", pages = "451-465", isbn = "978-3-540-71208-4" } @incollection{CDHR06, author = "Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.", title = "Algorithms for Omega-regular Games of Incomplete Information", booktitle = "Proceedings of CSL 2006: Computer Science Logic", series = "Lecture Notes in Computer Science 4207", publisher = "Springer-Verlag", year = "2006", pages = "287-302", isbn = "3-540-45458-8" } @phdthesis{Doy06, author = "L. Doyen", title = "Algorithmic Analysis of Complex Semantics for Timed and Hybrid Automata", school = "Universit\'e Libre de Bruxelles", year = "2006" } @incollection{DDHR06, author = "{De Wulf}, M. and Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.", title = "Antichains: A New Algorithm for Checking Universality of Finite Automata", booktitle = "Proceedings of CAV 2006: Computer-Aided Verification", series = "Lecture Notes in Computer Science 4144", publisher = "Springer-Verlag", year = "2006", pages = "17-30", isbn = "3-540-37406-0" } @incollection{DDR06, author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.", title = "A Lattice Theory for Solving Games of Imperfect Information", booktitle = "Proceedings of HSCC 2006: Hybrid Systems---Computation and Control", series = "Lecture Notes in Computer Science 3927", publisher = "Springer-Verlag", year = "2006", pages = "153--168", isbn = "3-540-33170-0" } @incollection{DHR05, author = "Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.", title = "Automatic Rectangular Refinement of Affine Hybrid Systems", booktitle = "Proceedings of FORMATS 2005: Formal Modelling and Analysis of Timed Systems", series = "Lecture Notes in Computer Science 3829", publisher = "Springer-Verlag", year = "2005", pages = "144--161", isbn = "3-540-30946-2" } @article{aasap-fac05, author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.", title = "Almost {ASAP} Semantics: From Timed Models to Timed Implementations", journal = "Formal Aspects of Computing", volume = "17", number = "3", year = "2005", pages = "319--341", publisher = "Springer-Verlag" } @incollection{DDR05, author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.", title = "Systematic Implementation of Real-Time Models", booktitle = "Proceedings of FM 2005: Formal Methods", series = "Lecture Notes in Computer Science 3582", publisher = "Springer-Verlag", year = "2005", pages = "139--156", isbn = "3-540-27882-6" } @incollection{DDMR04, author = "{De Wulf}, M. and Doyen, L. and Markey, N. and Raskin, J.-F.", title = "Robustness and Implementability of Timed Automata", booktitle = "Proceedings of FORMATS-FTRTFT 2004: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems", series = "Lecture Notes in Computer Science 3253", publisher = "Springer-Verlag", year = "2004", pages = "118--133", isbn = "3-540-23167-6" } @incollection{DDR04, author = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.", title = "Almost {ASAP} Semantics: From Timed Models to Timed Implementations", booktitle = "Proceedings of HSCC 2004: Hybrid Systems---Computation and Control", series = "Lecture Notes in Computer Science 2993", publisher = "Springer-Verlag", year = "2004", pages = "296--310", isbn = "3-540-21259-0" } @TechReport{doy03, author = {L. Doyen}, title = {A systematic implementation of simple timed controllers.}, institution = {U.L.B.}, year = {2003}, number = {504} }