L
Laurent Doyen
Researcher at École Normale Supérieure
Publications - 122
Citations - 4447
Laurent Doyen is an academic researcher from École Normale Supérieure. The author has contributed to research in topics: Decidability & Markov decision process. The author has an hindex of 39, co-authored 115 publications receiving 4220 citations. Previous affiliations of Laurent Doyen include Centre national de la recherche scientifique & École normale supérieure de Cachan.
Papers
More filters
Journal ArticleDOI
Algorithms for Omega-Regular Games with Imperfect Information
TL;DR: An algorithm for computing the set of states from which a player can win with probability 1 with a randomized observation-based strategy for a Buechi objective is given and it is shown that these algorithms are optimal by proving matching lower bounds.
Journal ArticleDOI
Quantitative languages
TL;DR: A notion of quantitative simulation that is decidable and implies language inclusion is introduced, and it is shown that most classes of weighted automata cannot be determinized.
Proceedings ArticleDOI
Generalized Mean-payoff and Energy Games
TL;DR: It is shown that the problem of deciding the existence of a winning strategy for the protagonist is NP-complete, and the previously best known upper bound was EXPSPACE and no lower bound was known, so an optimal coNP-complete bound is given.
Book ChapterDOI
Antichains: a new algorithm for checking universality of finite automata
TL;DR: A new algorithm for checking the universality of nondeterministic finite automata, which computes the least fixed point of a monotone function on the lattice of antichains of state sets and evaluates the performance of this algorithm experimentally using the random automaton model recently proposed by Tabakov and Vardi.
Journal ArticleDOI
Faster algorithms for mean-payoff games
TL;DR: A new pseudopolynomial algorithm is presented for solving two-player games played on a weighted graph with mean-payoff objective and with energy constraints, improving the best known worst-case complexity for pseudopoly Nominal mean- payoff algorithms.