Laurent Doyen - RankMe

127 papers A* 9A 6B 24Misc 2Journal 61Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games. STACS Laurent Doyen, Shibashis Guha
2026	J	`jnl`	Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games. CoRR Laurent Doyen, Shibashis Guha
2025	B	`conf`	Expectation in Stochastic Games with Prefix-Independent Objectives. CONCUR Laurent Doyen, Pranshu Gaba, Shibashis Guha
2025	—	`conf`	Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS. RP Stéphane Demri, Laurent Doyen, Raul Fervari
2025	J	`jnl`	Stochastic Window Mean-Payoff Games. Log. Methods Comput. Sci. Laurent Doyen, Pranshu Gaba, Shibashis Guha
2025	—	`conf`	Synthesising Full-Information Protocols. FSTTCS Dietmar Berwanger, Laurent Doyen, Thomas Soullard
2025	A*	`conf`	The Value Problem for Multiple-Environment MDPs with Parity Objective. ICALP Krishnendu Chatterjee, Laurent Doyen, Jean-François Raskin, Ocan Sankur
2025	J	`jnl`	The Value Problem for Multiple-Environment MDPs with Parity Objective. CoRR Krishnendu Chatterjee, Laurent Doyen, Jean-François Raskin, Ocan Sankur
2025	J	`jnl`	Top-down complementation of automata on finite trees. Inf. Process. Lett. Laurent Doyen
2024	J	`jnl`	Expectation in Stochastic Window Mean-Payoff Games. CoRR Laurent Doyen, Pranshu Gaba, Shibashis Guha
2024	B	`conf`	Regular Games with Imperfect Information Are Not That Regular. CONCUR Laurent Doyen, Thomas Soullard
2024	J	`jnl`	Regular Games with Imperfect Information Are Not That Regular. CoRR Laurent Doyen, Thomas Soullard
2024	J	`jnl`	Stochastic Processes with Expected Stopping Time. Log. Methods Comput. Sci. Krishnendu Chatterjee, Laurent Doyen
2024	—	`conf`	Stochastic Window Mean-Payoff Games. FoSSaCS (1) Laurent Doyen, Pranshu Gaba, Shibashis Guha
2023	J	`jnl`	Observation and Distinction: Representing Information in Infinite Games. Theory Comput. Syst. Dietmar Berwanger, Laurent Doyen
2023	J	`jnl`	Stochastic Games with Synchronization Objectives. J. ACM Laurent Doyen
2023	J	`jnl`	Stochastic Window Mean-payoff Games. CoRR Laurent Doyen, Pranshu Gaba, Shibashis Guha
2023	J	`jnl`	Synthesising Full-Information Protocols. CoRR Dietmar Berwanger, Laurent Doyen, Thomas Soullard
2022	Misc	`conf`	Bounds for Synchronizing Markov Decision Processes. CSR Laurent Doyen, Marie van den Bogaard
2022	J	`jnl`	Bounds for Synchronizing Markov Decision Processes. CoRR Laurent Doyen, Marie van den Bogaard
2022	J	`jnl`	Graph planning with expected finite horizon. J. Comput. Syst. Sci. Krishnendu Chatterjee, Laurent Doyen
2022	—	`ed.`	Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Principles of Systems Design Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
2022	A*	`conf`	Stochastic Games with Synchronizing Objectives. LICS Laurent Doyen
2022	J	`jnl`	Stochastic Games with Synchronizing Objectives. CoRR Laurent Doyen
2021	A*	`conf`	Stochastic Processes with Expected Stopping Time. LICS Krishnendu Chatterjee, Laurent Doyen
2021	J	`jnl`	Stochastic Processes with Expected Stopping Time. CoRR Krishnendu Chatterjee, Laurent Doyen
2020	A	`conf`	Observation and Distinction. Representing Information in Infinite Games. STACS Dietmar Berwanger, Laurent Doyen
2019	A*	`conf`	Graph Planning with Expected Finite Horizon. LICS Krishnendu Chatterjee, Laurent Doyen
2019	J	`jnl`	The complexity of synchronizing Markov decision processes. J. Comput. Syst. Sci. Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2018	J	`jnl`	Graph Planning with Expected Finite Horizon. CoRR Krishnendu Chatterjee, Laurent Doyen
2018	J	`jnl`	Observation and Distinction. Representing Information in Infinite Games. CoRR Dietmar Berwanger, Laurent Doyen
2018	—	`ch.`	Verification of Hybrid Systems. Handbook of Model Checking Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer
2017	J	`jnl`	Doomsday equilibria for omega-regular games. Inf. Comput. Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2017	—	`conf`	The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2017	—	`conf`	The Multiple Dimensions of Mean-Payoff Games - (Extended Abstract). RP Laurent Doyen
2016	A*	`conf`	Computation Tree Logic for Synchronization Properties. ICALP Krishnendu Chatterjee, Laurent Doyen
2016	J	`jnl`	Computation Tree Logic for Synchronization Properties. CoRR Krishnendu Chatterjee, Laurent Doyen
2016	A*	`conf`	Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. LICS Krishnendu Chatterjee, Laurent Doyen
2016	J	`jnl`	Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. CoRR Krishnendu Chatterjee, Laurent Doyen
2016	J	`jnl`	The Complexity of Synchronizing Markov Decision Processes. CoRR Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2015	J	`jnl`	Looking at mean-payoff and total-payoff through windows. Inf. Comput. Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
2015	J	`jnl`	Randomness for free. Inf. Comput. Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2015	—	`conf`	The Complexity of Synthesis from Probabilistic Components. ICALP (2) Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
2015	J	`jnl`	The Complexity of Synthesis from Probabilistic Components. CoRR Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
2015	J	`jnl`	The complexity of multi-mean-payoff and multi-energy games. Inf. Comput. Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin
2014	B	`conf`	Doomsday Equilibria for Omega-Regular Games. VMCAI Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2014	—	`conf`	Games with a Weak Adversary. ICALP (2) Krishnendu Chatterjee, Laurent Doyen
2014	J	`jnl`	Games with a Weak Adversary. CoRR Krishnendu Chatterjee, Laurent Doyen
2014	B	`conf`	Limit Synchronization in Markov Decision Processes. FoSSaCS Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014	J	`jnl`	Partial-Observation Stochastic Games: How to Win when Belief Fails. ACM Trans. Comput. Log. Krishnendu Chatterjee, Laurent Doyen
2014	B	`conf`	Perfect-Information Stochastic Mean-Payoff Parity Games. FoSSaCS Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
2014	B	`conf`	Robust Synchronization in Markov Decision Processes. CONCUR Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014	J	`jnl`	Robust Synchronization in Markov Decision Processes. CoRR Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2014	—	`conf`	Synchronizing Words for Weighted and Timed Automata. FSTTCS Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi
2014	B	`conf`	The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
2014	J	`jnl`	The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
2013	J	`jnl`	A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2013	J	`jnl`	Doomsday Equilibria for Omega-Regular Games. CoRR Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2013	J	`jnl`	Limit Synchronization in Markov Decision Processes. CoRR Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2013	J	`jnl`	Looking at Mean-Payoff and Total-Payoff through Windows CoRR Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
2013	B	`conf`	Looking at Mean-Payoff and Total-Payoff through Windows. ATVA Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
2013	B	`conf`	Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. ATVA Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2012	J	`jnl`	Energy parity games. Theor. Comput. Sci. Krishnendu Chatterjee, Laurent Doyen
2012	J	`jnl`	Infinite Synchronizing Words for Probabilistic Automata (Erratum) CoRR Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2012	A*	`conf`	Partial-Observation Stochastic Games: How to Win When Belief Fails. LICS Krishnendu Chatterjee, Laurent Doyen
2012	J	`jnl`	The Complexity of Multi-Mean-Payoff and Multi-Energy Games CoRR Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin
2012	J	`jnl`	Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints CoRR Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2011	B	`conf`	Antichain-Based QBF Solving. ATVA Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin
2011	J	`jnl`	Energy and Mean-Payoff Parity Markov Decision Processes CoRR Krishnendu Chatterjee, Laurent Doyen
2011	B	`conf`	Energy and Mean-Payoff Parity Markov Decision Processes. MFCS Krishnendu Chatterjee, Laurent Doyen
2011	J	`jnl`	Faster algorithms for mean-payoff games. Formal Methods Syst. Des. Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin
2011	—	`conf`	Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. MEMICS Krishnendu Chatterjee, Laurent Doyen
2011	—	`ch.`	Games with imperfect information: theory and algorithms. Lectures in Game Theory for Computer Scientists Laurent Doyen, Jean-François Raskin
2011	B	`conf`	Infinite Synchronizing Words for Probabilistic Automata. MFCS Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2011	J	`jnl`	On Memoryless Quantitative Objectives CoRR Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
2011	B	`conf`	On Memoryless Quantitative Objectives. FCT Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
2011	J	`jnl`	On Reachability for Hybrid Automata over Bounded Time CoRR Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2011	—	`conf`	On Reachability for Hybrid Automata over Bounded Time. ICALP (2) Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell
2011	J	`jnl`	Partial-Observation Stochastic Games: How to Win when Belief Fails CoRR Krishnendu Chatterjee, Laurent Doyen
2011	—	`conf`	Synchronizing Objectives for Markov Decision Processes iWIGP Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
2010	A	`conf`	Antichain Algorithms for Finite Automata. TACAS Laurent Doyen, Jean-François Raskin
2010	J	`jnl`	Energy Parity Games CoRR Krishnendu Chatterjee, Laurent Doyen
2010	—	`conf`	Energy Parity Games. ICALP (2) Krishnendu Chatterjee, Laurent Doyen
2010	B	`conf`	Energy and Mean-Payoff Games with Imperfect Information. CSL Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk
2010	J	`jnl`	Expressiveness and Closure Properties for Quantitative Languages Log. Methods Comput. Sci. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2010	J	`jnl`	Generalized Mean-payoff and Energy Games CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2010	—	`conf`	Generalized Mean-payoff and Energy Games. FSTTCS Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2010	B	`conf`	Mean-Payoff Automaton Expressions. CONCUR Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
2010	J	`jnl`	Mean-payoff Automaton Expressions CoRR Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
2010	B	`conf`	Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2010	J	`jnl`	Quantitative languages. ACM Trans. Comput. Log. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2010	J	`jnl`	Randomness for Free CoRR Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2010	B	`conf`	Randomness for Free. MFCS Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2010	—	`conf`	Robustness of Sequential Circuits. ACSD Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2010	J	`jnl`	Strategy construction for parity games with imperfect information. Inf. Comput. Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2010	—	`conf`	The Complexity of Partial-Observation Parity Games. LPAR (Yogyakarta) Krishnendu Chatterjee, Laurent Doyen
2009	—	`conf`	A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2009	A	`conf`	Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2009	B	`conf`	Alternating Weighted Automata. FCT Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Antichains for the Automata-Based Approach to Model-Checking Log. Methods Comput. Sci. Laurent Doyen, Jean-François Raskin
2009	J	`jnl`	Expressiveness and Closure Properties for Quantitative Languages CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	A*	`conf`	Expressiveness and Closure Properties for Quantitative Languages. LICS Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Probabilistic Weighted Automata CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	B	`conf`	Probabilistic Weighted Automata. CONCUR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	J	`jnl`	Qualitative Analysis of Partially-observable Markov Decision Processes CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2009	—	`conf`	Realizability of Real-Time Logics. FORMATS Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert
2008	B	`conf`	Alaska. ATVA Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
2008	A	`conf`	Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. TACAS Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
2008	J	`jnl`	Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2008	Misc	`conf`	Interface theories with component reuse. EMSOFT Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov
2008	—	`conf`	On the Power of Imperfect Information. FSTTCS Dietmar Berwanger, Laurent Doyen
2008	B	`conf`	Quantitative Languages. CSL Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2008	J	`jnl`	Robust safety of timed automata. Formal Methods Syst. Des. Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
2008	B	`conf`	Strategy Construction for Parity Games with Imperfect Information. CONCUR Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje
2007	J	`jnl`	Algorithms for Omega-Regular Games with Imperfect Information CoRR Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2007	J	`jnl`	Algorithms for Omega-Regular Games with Imperfect Information. Log. Methods Comput. Sci. Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2007	A	`conf`	Improved Algorithms for the Automata-Based Approach to Model-Checking. TACAS Laurent Doyen, Jean-François Raskin
2007	J	`jnl`	Robust parametric reachability for timed automata. Inf. Process. Lett. Laurent Doyen
2006	—	`conf`	A Lattice Theory for Solving Games of Imperfect Information. HSCC Martin De Wulf, Laurent Doyen, Jean-François Raskin
2006	B	`conf`	Algorithms for Omega-Regular Games with Imperfect Information CSL Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2006	A*	`conf`	Antichains: A New Algorithm for Checking Universality of Finite Automata. CAV Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2005	J	`jnl`	Almost ASAP semantics: from timed models to timed implementations. Formal Aspects Comput. Martin De Wulf, Laurent Doyen, Jean-François Raskin
2005	—	`conf`	Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
2005	B	`conf`	Systematic Implementation of Real-Time Models. FM Martin De Wulf, Laurent Doyen, Jean-François Raskin
2004	—	`conf`	Almost ASAP Semantics: From Timed Models to Timed Implementations. HSCC Martin De Wulf, Laurent Doyen, Jean-François Raskin
2004	—	`conf`	Robustness and Implementability of Timed Automata. FORMATS/FTRTFT Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin