Refine Results
Years
  1. 2011 (22)
Affiliation
  1. IST Austria (22)
Peer reviewed
  1. no (19)
  2. yes (3)
Invited
  1. no (20)
  2. yes (2)

Results (22)

  • Graph games with reachability objectives
    Conference paper
  • QUASY: quantitative synthesis tool
    Conference paper
  • Energy and mean-payoff parity Markov Decision Processes
    Conference paper