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

Results (13)

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