Showing 1 - 4 results of 4 for search 'Laurent Doyen', query time: 0.03s Refine Results
  1. 1
    Antichains for the Automata-Based Approach to Model-Checking

    Antichains for the Automata-Based Approach to Model-Checking by Laurent Doyen, Jean-Francois Raskin

    Published 2009-03-01
    Get full text
    Article
  2. 2
    Synchronizing Objectives for Markov Decision Processes

    Synchronizing Objectives for Markov Decision Processes by Mahsa Shirmohammadi, Laurent Doyen, Thierry Massart

    Published 2011-02-01
    Get full text
    Article
  3. 3
    Expressiveness and Closure Properties for Quantitative Languages

    Expressiveness and Closure Properties for Quantitative Languages by Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger

    Published 2010-08-01
    Get full text
    Article
  4. 4
    Algorithms for Omega-Regular Games with Imperfect Information

    Algorithms for Omega-Regular Games with Imperfect Information by Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-Francois Raskin

    Published 2007-07-01
    Get full text
    Article

Search Tools: