Refine Results
Affiliation
  1. IST Austria (23)
Peer reviewed
  1. no (17)
  2. yes (15)
Invited
  1. no (31)
  2. yes (1)

Results (32)

  • Specification-centered robustness
    Conference paper
  • Games for controls
    Conference paper
  • Mean-payoff parity games
    Conference paper