Refine Results
Years
  1. 2012 (16)
Affiliation
  1. IST Austria (16)
Open access
  1. yes (repository) (16)
Peer reviewed
  1. no (10)
  2. yes (6)
Invited
  1. no (16)

Results (16)

  • Interface Simulation Distances
    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