Results (13)

  • Determinizing discounted-sum automata
    Conference paper
  • 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