Results (2)

  • Graph games with reachability objectives
    Conference paper
  • Specification-centered robustness
    Conference paper