Refine Results
Years
  1. 2009 (27)
Affiliation
  1. IST Austria (9)
Peer reviewed
  1. no (18)
  2. yes (9)
Invited
  1. no (26)
  2. yes (1)

Results (27)

  • Synthesizing robust systems
    Conference paper
  • Alternating weighted automata
    Conference paper
  • Stochastic games with finitary objectives
    Conference paper