Laurent Doyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
16
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | STACS | Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games. | Laurent Doyen, Shibashis Guha |
| 2025 | CONCUR | Expectation in Stochastic Games with Prefix-Independent Objectives. | Laurent Doyen, Pranshu Gaba, Shibashis Guha |
| 2025 | ICALP | The Value Problem for Multiple-Environment MDPs with Parity Objective. | Krishnendu Chatterjee, Laurent Doyen, Jean-Franois Raskin, Ocan Sankur |
| 2024 | CONCUR | Regular Games with Imperfect Information Are Not That Regular. | Laurent Doyen, Thomas Soullard |
| 2024 | FOSSACS | Stochastic Window Mean-Payoff Games. | Laurent Doyen, Pranshu Gaba, Shibashis Guha |
| 2022 | CSR | Bounds for Synchronizing Markov Decision Processes. | Laurent Doyen, Marie van den Bogaard |
| 2022 | LICS | Stochastic Games with Synchronizing Objectives. | Laurent Doyen |
| 2021 | LICS | Stochastic Processes with Expected Stopping Time. | Krishnendu Chatterjee, Laurent Doyen |
| 2020 | STACS | Observation and Distinction. Representing Information in Infinite Games. | Dietmar Berwanger, Laurent Doyen |
| 2019 | LICS | Graph Planning with Expected Finite Horizon. | Krishnendu Chatterjee, Laurent Doyen |
| 2016 | ICALP | Computation Tree Logic for Synchronization Properties. | Krishnendu Chatterjee, Laurent Doyen |
| 2016 | LICS | Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. | Krishnendu Chatterjee, Laurent Doyen |
| 2015 | ICALP | The Complexity of Synthesis from Probabilistic Components. | Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi |
| 2014 | CONCUR | Robust Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2014 | FOSSACS | Limit Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2014 | FOSSACS | Perfect-Information Stochastic Mean-Payoff Parity Games. | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj |
| 2014 | FOSSACS | The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. | Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi |
| 2014 | ICALP | Games with a Weak Adversary. | Krishnendu Chatterjee, Laurent Doyen |
| 2014 | VMCAI | Doomsday Equilibria for Omega-Regular Games. | Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-Franois Raskin |
| 2013 | ATVA | Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2013 | ATVA | Looking at Mean-Payoff and Total-Payoff through Windows. | Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-Franois Raskin |
| 2012 | LICS | Partial-Observation Stochastic Games: How to Win When Belief Fails. | Krishnendu Chatterjee, Laurent Doyen |
| 2011 | ATVA | Antichain-Based QBF Solving. | Thomas Brihaye, Vronique Bruyre, Laurent Doyen, Marc Ducobu, Jean-Franois Raskin |
| 2011 | FCT | On Memoryless Quantitative Objectives. | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh |
| 2011 | ICALP | On Reachability for Hybrid Automata over Bounded Time. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2011 | MFCS | Energy and Mean-Payoff Parity Markov Decision Processes. | Krishnendu Chatterjee, Laurent Doyen |
| 2011 | MFCS | Infinite Synchronizing Words for Probabilistic Automata. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2010 | CONCUR | Mean-Payoff Automaton Expressions. | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
| 2010 | CSL | Energy and Mean-Payoff Games with Imperfect Information. | Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-Franois Raskin, Szymon Torunczyk |
| 2010 | ICALP | Energy Parity Games. | Krishnendu Chatterjee, Laurent Doyen |
| 2010 | LPAR | The Complexity of Partial-Observation Parity Games. | Krishnendu Chatterjee, Laurent Doyen |
| 2010 | MFCS | Randomness for Free. | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
| 2010 | MFCS | Qualitative Analysis of Partially-Observable Markov Decision Processes. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2010 | TACAS | Antichain Algorithms for Finite Automata. | Laurent Doyen, Jean-Franois Raskin |
| 2009 | CONCUR | Probabilistic Weighted Automata. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | FCT | Alternating Weighted Automata. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | ICALP | A Survey of Stochastic Games with Limsup and Liminf Objectives. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | LICS | Expressiveness and Closure Properties for Quantitative Languages. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | TACAS | Alpaga: A Tool for Solving Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
| 2008 | ATVA | Alaska. | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Franois Raskin |
| 2008 | CONCUR | Strategy Construction for Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
| 2008 | CSL | Quantitative Languages. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2008 | EMSOFT | Interface theories with component reuse. | Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |
| 2008 | TACAS | Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Franois Raskin |
| 2007 | TACAS | Improved Algorithms for the Automata-Based Approach to Model-Checking. | Laurent Doyen, Jean-Franois Raskin |
| 2006 | CAV | Antichains: A New Algorithm for Checking Universality of Finite Automata. | Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-Franois Raskin |
| 2006 | CSL | Algorithms for Omega-Regular Games with Imperfect Information | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-Franois Raskin |
| 2005 | FM | Systematic Implementation of Real-Time Models. | Martin De Wulf, Laurent Doyen, Jean-Franois Raskin |