Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Laurent Doyen
Map detail
Laurent Doyen13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLaurent DoyenALaurent DoyenResearcherStochastic Games with Synchronizing ObjectivesWStochastic Games with S...preprint / 2022Bounds for Synchronizing Markov Decision ProcessesWBounds for Synchronizin...preprint / 2022Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity GamesWAlgorithm and Strategy ...preprint / 2026Synchronizing Objectives for Markov Decision ProcessesWSynchronizing Objective...preprint / 2011Infinite Synchronizing Words for Probabilistic Automata (Erratum)WInfinite Synchronizing ...preprint / 2012Limit Synchronization in Markov Decision ProcessesWLimit Synchronization i...preprint / 2013Robust Synchronization in Markov Decision ProcessesWRobust Synchronization ...preprint / 2014Antichains for the Automata-Based Approach to Model-CheckingWAntichains for the Auto...preprint / 2009Observation and Distinction. Representing Information in Infinite GamesWObservation and Distinc...preprint / 2020Generalized Mean-payoff and Energy GamesWGeneralized Mean-payoff...preprint / 2010Partial-Observation Stochastic Games: How to Win when Belief FailsWPartial-Observation Sto...preprint / 2011On Reachability for Hybrid Automata over Bounded TimeWOn Reachability for Hyb...preprint / 2011
Person12 links

Laurent Doyen

Researcher