Results (3)

  • Controller synthesis for MDPs and frequency LTL\GU
    Conference paper
  • Multi-objective discounted reward verification in graphs and MDPs
    Conference paper
  • The complexity of partial-observation parity games
    Conference paper