Results (5)

  • Partial-observation stochastic reachability and parity games
    Conference paper
  • Energy and mean-payoff parity Markov Decision Processes
    Conference paper
  • Randomness for free
    Conference paper
  • Stochastic games with finitary objectives
    Conference paper