@article{Doy23,
author = {L. Doyen},
title = {Stochastic Games with Synchronization Objectives},
journal = {Journal of the ACM},
volume = {70},
number = {3},
year = {2023},
pages = {1-35}
}
@article{BD23,
author = {D. Berwanger and L. Doyen},
title = {Observation and Distinction. Representing Information in Infinite Games},
journal = {Theory of Computing Systems},
volume = {67},
number = {1},
year = {2023},
pages = {4-27},
publisher = {Springer}
}
@article{CD22,
author = {K. Chatterjee and L. Doyen},
title = {Graph Planning with Expected Finite Horizon},
journal = {Journal of Computer and System Sciences},
volume = {129},
year = {2022},
pages = {1-21},
publisher = {Elsevier}
}
@inproceedings{Doy22,
author = {L. Doyen},
title = {Stochastic Games with Synchronizing Objectives},
booktitle = {Proceedings of LICS: Logic in Computer Science},
publisher = {IEEE Computer Society Press},
year = {2022},
pages = {1-12}
}
@inproceedings{DvdB22,
author = {L. Doyen and M. van~den~Bogaard},
title = {Bounds for Synchronizing Markov Decision Processes},
booktitle = {Proceedings of CSR: Computer Science Symposium in Russia},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science 13296},
year = {2022},
pages = {133-151}
}
@inproceedings{CD21,
author = {K. Chatterjee and L. Doyen},
title = {Stochastic Processes with Expected Stopping Time},
booktitle = {Proceedings of LICS: Logic in Computer Science},
publisher = {IEEE Computer Society Press},
year = {2021},
pages = {1-13}
}
@inproceedings{BD20,
author = {D. Berwanger and L. Doyen},
title = {Observation and Distinction. Representing Information in Infinite Games},
booktitle = {Proceedings of STACS: Symposium on Theoretical Aspects of Computer Science},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
year = {2020},
pages = {48:1-48:17}
}
@inproceedings{CD19,
author = {K. Chatterjee and L. Doyen},
title = {Graph Planning with Expected Finite Horizon},
booktitle = {Proceedings of LICS: Logic in Computer Science},
publisher = {IEEE Computer Society Press},
year = {2016},
pages = {1-13}
}
@article{DMS19,
author = {L. Doyen and T. Massart and M. Shirmohammadi},
title = {The Complexity of Synchronizing {M}arkov Decision Processes},
journal = {Journal of Computer and System Sciences},
volume = {100},
year = {2019},
pages = {96-129},
publisher = {Elsevier}
}
@incollection{DFPP18,
author = {L. Doyen and G. Frehse and G.~J. Pappas and A. Platzer},
title = {Verification of Hybrid Systems},
booktitle = {Handbook of Model Checking},
publisher = {springer-Verlag},
year = {2018},
pages = {1047-1110}
}
@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 = {2013},
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 Imperfect 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 Imperfect 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}
}