Results (2)

  • Multi-objective discounted reward verification in graphs and MDPs
    Conference paper
  • The complexity of partial-observation parity games
    Conference paper