Results (9)

  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Robust draws in balanced knockout tournaments
    Conference paper
  • Robust draws in balanced knockout tournaments
    Conference paper