Results (13)

  • CSL: Computer Science Logic
    Edited conference proceeding
  • Concurrent games with tail objectives
    Conference paper
  • Nash equilibrium for upward-closed objectives
    Conference paper
  • Solving games without determinization
    Conference paper