Refine Results
Years
  1. 2017 (11)
Affiliation
  1. IST Austria (11)
Peer reviewed
  1. yes (9)
  2. no (2)
Invited
  1. no (11)

Results (11)

  • Timed Network Games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper