Results (11)

  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Optimal cost almost-sure reachability in POMDPs
    Conference paper
  • Robust draws in balanced knockout tournaments
    Conference paper
  • Robust draws in balanced knockout tournaments
    Conference paper
  • Indefinite-horizon reachability in Goal-DEC-POMDPs
    Conference paper