Results (11)

  • Alternating weighted automata
    Conference paper
  • Stochastic games with finitary objectives
    Conference paper