Search Within

Guy Avni

Gavni_2mlsa_copy
Email: guy.avni_REMOVE_THIS_@ist.ac.at
Interests:

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