Refine Results
Affiliation
  1. IST Austria (19)
Peer reviewed
  1. no (17)
  2. yes (11)
Invited
  1. no (27)
  2. yes (1)

Results (28)

  • Mean payoff pushdown games
    Conference paper
  • Specification-centered robustness
    Conference paper