Refine Results
Years
  1. 2017 (28)
Affiliation
  1. IST Austria (28)
Peer reviewed
  1. yes (25)
  2. no (3)
Invited
  1. no (28)

Results (28)

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