Results (13)

  • Concurrent games with tail objectives
    Conference paper
  • Nash equilibrium for upward-closed objectives
    Conference paper
  • Algorithms for Büchi Games
    Conference paper
  • Games for controls
    Conference paper
  • Finitary winning in omega-regular games
    Conference paper