@inproceedings{Doy17,
  author    = {L. Doyen},
  title     = {The Multiple Dimensions of Mean-Payoff Games},
  booktitle = {Proceedings of RP: Reachability Problems},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science 10506},
  year      = {2017},
  pages     = {1-8}
}

@inproceedings{CDH17,
  author    = {K. Chatterjee and L. Doyen and T.~A. Henzinger},
  title     = {The Cost of Exactness in Quantitative Reachability},
  booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim G. Larsen on the Occasion of His 60th Birthday},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science 10460},
  year      = {2017},
  pages     = {367-381}
}

@article{CDFR17,
  author    = {K. Chatterjee and L. Doyen and E. Filiot and J.-F. Raskin},
  title     = {Doomsday Equilibria for Omega-Regular Games.},
  journal   = {Information and Computation},
  volume    = {254},
  year      = {2017},
  pages     = {296-315},
  publisher = {Elsevier}
}






@inproceedings{CD16b,
  author    = {K. Chatterjee and L. Doyen},
  title     = {Computation Tree Logic for Synchronization Properties},
  booktitle = {Proceedings of ICALP: International Colloquium on Automata, Languages and Programming (Part II)},
  series    = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  pages     = {98:1-98:14}
}

@inproceedings{CD16a,
  author    = {K. Chatterjee and L. Doyen},
  title     = {Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives},
  booktitle = {Proceedings of LICS: Logic in Computer Science},
  publisher = {IEEE Computer Society Press},
  year      = {2016},
  pages     = {247-256}
}







@article{CDGH15,
  author    = {K. Chatterjee and L. Doyen and H. Gimbert and T. A. Henzinger},
  title     = {Randomness for Free},
  journal   = {Information and Computation},
  volume    = {245},
  year      = {2017},
  pages     = {3-16},
  publisher = {Elsevier}
}

@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 9135},
  year      = {2015},
  pages     = {108-120}
}

@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: 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}
 }