Laurent Doyen

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 28

Top Venues

Publications

Laurent Doyen, Thomas Soullard
Regular Games with Imperfect Information Are Not That Regular. CoRR (2024)
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Stochastic Window Mean-Payoff Games. FoSSaCS (1) (2024)
Laurent Doyen, Thomas Soullard
Regular Games with Imperfect Information Are Not That Regular. CONCUR (2024)
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Expectation in Stochastic Window Mean-Payoff Games. CoRR (2024)
Dietmar Berwanger, Laurent Doyen
Observation and Distinction: Representing Information in Infinite Games. Theory Comput. Syst. 67 (1) (2023)
Dietmar Berwanger, Laurent Doyen, Thomas Soullard
Synthesising Full-Information Protocols. CoRR (2023)
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Stochastic Window Mean-payoff Games. CoRR (2023)
Laurent Doyen
Stochastic Games with Synchronization Objectives. J. ACM 70 (3) (2023)
Laurent Doyen
Stochastic Games with Synchronizing Objectives. CoRR (2022)
Laurent Doyen, Marie van den Bogaard
Bounds for Synchronizing Markov Decision Processes. CSR (2022)
Krishnendu Chatterjee, Laurent Doyen
Graph planning with expected finite horizon. J. Comput. Syst. Sci. 129 (2022)
Laurent Doyen
Stochastic Games with Synchronizing Objectives. LICS (2022)
Laurent Doyen, Marie van den Bogaard
Bounds for Synchronizing Markov Decision Processes. CoRR (2022)
Krishnendu Chatterjee, Laurent Doyen
Stochastic Processes with Expected Stopping Time. LICS (2021)
Krishnendu Chatterjee, Laurent Doyen
Stochastic Processes with Expected Stopping Time. CoRR (2021)
Dietmar Berwanger, Laurent Doyen
Observation and Distinction. Representing Information in Infinite Games. STACS (2020)
Krishnendu Chatterjee, Laurent Doyen
Graph Planning with Expected Finite Horizon. LICS (2019)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
The complexity of synchronizing Markov decision processes. J. Comput. Syst. Sci. 100 (2019)
Dietmar Berwanger, Laurent Doyen
Observation and Distinction. Representing Information in Infinite Games. CoRR (2018)
Krishnendu Chatterjee, Laurent Doyen
Graph Planning with Expected Finite Horizon. CoRR (2018)
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
Doomsday equilibria for omega-regular games. Inf. Comput. 254 (2017)
Laurent Doyen
The Multiple Dimensions of Mean-Payoff Games - (Extended Abstract). RP (2017)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools (2017)
Krishnendu Chatterjee, Laurent Doyen
Computation Tree Logic for Synchronization Properties. CoRR (2016)
Krishnendu Chatterjee, Laurent Doyen
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. LICS (2016)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
The Complexity of Synchronizing Markov Decision Processes. CoRR (2016)
Krishnendu Chatterjee, Laurent Doyen
Computation Tree Logic for Synchronization Properties. ICALP (2016)
Krishnendu Chatterjee, Laurent Doyen
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. CoRR (2016)
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
Randomness for free. Inf. Comput. 245 (2015)
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Looking at mean-payoff and total-payoff through windows. Inf. Comput. 242 (2015)
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin
The complexity of multi-mean-payoff and multi-energy games. Inf. Comput. 241 (2015)
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
The Complexity of Synthesis from Probabilistic Components. CoRR (2015)
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
The Complexity of Synthesis from Probabilistic Components. ICALP (2) (2015)
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
Perfect-Information Stochastic Mean-Payoff Parity Games. FoSSaCS (2014)
Krishnendu Chatterjee, Laurent Doyen
Partial-Observation Stochastic Games: How to Win when Belief Fails. ACM Trans. Comput. Log. 15 (2) (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Limit Synchronization in Markov Decision Processes. FoSSaCS (2014)
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR (2014)
Krishnendu Chatterjee, Laurent Doyen
Games with a Weak Adversary. CoRR (2014)
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
Doomsday Equilibria for Omega-Regular Games. VMCAI (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Robust Synchronization in Markov Decision Processes. CONCUR (2014)
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS (2014)
Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi
Synchronizing Words for Weighted and Timed Automata. FSTTCS (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Robust Synchronization in Markov Decision Processes. CoRR (2014)
Krishnendu Chatterjee, Laurent Doyen
Games with a Weak Adversary. ICALP (2) (2014)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. 43 (2) (2013)
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Looking at Mean-Payoff and Total-Payoff through Windows. ATVA (2013)
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Looking at Mean-Payoff and Total-Payoff through Windows CoRR (2013)
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. ATVA (2013)
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
Doomsday Equilibria for Omega-Regular Games. CoRR (2013)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Limit Synchronization in Markov Decision Processes. CoRR (2013)
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin
The Complexity of Multi-Mean-Payoff and Multi-Energy Games CoRR (2012)
Krishnendu Chatterjee, Laurent Doyen
Partial-Observation Stochastic Games: How to Win When Belief Fails. LICS (2012)
Krishnendu Chatterjee, Laurent Doyen
Energy parity games. Theor. Comput. Sci. 458 (2012)
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints CoRR (2012)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Infinite Synchronizing Words for Probabilistic Automata (Erratum) CoRR (2012)
Krishnendu Chatterjee, Laurent Doyen
Partial-Observation Stochastic Games: How to Win when Belief Fails CoRR (2011)
Krishnendu Chatterjee, Laurent Doyen
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. MEMICS (2011)
Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin
Faster algorithms for mean-payoff games. Formal Methods Syst. Des. 38 (2) (2011)
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
On Memoryless Quantitative Objectives. FCT (2011)
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
On Reachability for Hybrid Automata over Bounded Time. ICALP (2) (2011)
Krishnendu Chatterjee, Laurent Doyen
Energy and Mean-Payoff Parity Markov Decision Processes CoRR (2011)
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
On Reachability for Hybrid Automata over Bounded Time CoRR (2011)
Krishnendu Chatterjee, Laurent Doyen
Energy and Mean-Payoff Parity Markov Decision Processes. MFCS (2011)
Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin
Antichain-Based QBF Solving. ATVA (2011)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Infinite Synchronizing Words for Probabilistic Automata. MFCS (2011)
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
On Memoryless Quantitative Objectives CoRR (2011)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Synchronizing Objectives for Markov Decision Processes iWIGP (2011)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
Generalized Mean-payoff and Energy Games CoRR (2010)
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
Randomness for Free CoRR (2010)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Expressiveness and Closure Properties for Quantitative Languages Log. Methods Comput. Sci. 6 (3) (2010)
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
Mean-Payoff Automaton Expressions. CONCUR (2010)
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
Randomness for Free. MFCS (2010)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
Generalized Mean-payoff and Energy Games. FSTTCS (2010)
Laurent Doyen, Jean-François Raskin
Antichain Algorithms for Finite Automata. TACAS (2010)
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
Strategy construction for parity games with imperfect information. Inf. Comput. 208 (10) (2010)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS (2010)
Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk
Energy and Mean-Payoff Games with Imperfect Information. CSL (2010)
Krishnendu Chatterjee, Laurent Doyen
Energy Parity Games. ICALP (2) (2010)
Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
Robustness of Sequential Circuits. ACSD (2010)
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
Mean-payoff Automaton Expressions CoRR (2010)
Krishnendu Chatterjee, Laurent Doyen
Energy Parity Games CoRR (2010)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Quantitative languages. ACM Trans. Comput. Log. 11 (4) (2010)
Krishnendu Chatterjee, Laurent Doyen
The Complexity of Partial-Observation Parity Games. LPAR (Yogyakarta) (2010)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Expressiveness and Closure Properties for Quantitative Languages CoRR (2009)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Probabilistic Weighted Automata. CONCUR (2009)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Qualitative Analysis of Partially-observable Markov Decision Processes CoRR (2009)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Probabilistic Weighted Automata CoRR (2009)
Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert
Realizability of Real-Time Logics. FORMATS (2009)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Alternating Weighted Automata. FCT (2009)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Expressiveness and Closure Properties for Quantitative Languages. LICS (2009)
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS (2009)
Laurent Doyen, Jean-François Raskin
Antichains for the Automata-Based Approach to Model-Checking Log. Methods Comput. Sci. 5 (1) (2009)
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR (2009)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) (2009)
Dietmar Berwanger, Laurent Doyen
On the Power of Imperfect Information. FSTTCS (2008)
Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje
Strategy Construction for Parity Games with Imperfect Information. CONCUR (2008)
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
Robust safety of timed automata. Formal Methods Syst. Des. 33 (1-3) (2008)
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov
Interface theories with component reuse. EMSOFT (2008)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Quantitative Languages. CSL (2008)
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
Alaska. ATVA (2008)

Laurent Doyen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laurent Doyen