Results (3)

  • Indefinite-horizon reachability in Goal-DEC-POMDPs
    Conference paper
  • Sensor synthesis for POMDPs with reachability objectives
    Conference paper