Refine Results
Years
  1. 2012 (17)
Affiliation
  1. IST Austria (17)
Peer reviewed
  1. no (12)
  2. yes (5)
Invited
  1. no (17)

Results (17)

  • Interface Simulation Distances
    Conference paper
  • A Myhill Nerode theorem for automata with advice
    Conference paper
  • Robustness of structurally equivalent concurrent parity games
    Conference paper
  • Synthesizing protocols for digital contract signing
    Conference paper
  • Games and Markov decision processes with mean payoff parity and energy parity objectives
    Conference paper
  • An O(n2) time algorithm for alternating Büchi games
    Conference paper