Refine Results
Years
  1. 2017 (26)
Affiliation
  1. IST Austria (26)
Peer reviewed
  1. yes (22)
  2. no (4)
Invited
  1. no (26)

Results (26)

  • Causality-based model checking
    Conference paper
  • Timed network games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper