Results (9)

  • Timed network games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Dynamic resource allocation games
    Conference paper
  • Timed network games with clocks
    Conference paper
  • Infinite-duration Poorman-bidding games
    Conference paper