@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 = {},
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},
publisger = {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}
}
@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"
}
@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"
}
@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}
}