Results (9)

  • Determinizing discounted-sum automata
    Conference paper
  • CSL: Computer Science Logic
    Edited conference proceeding
  • Solving games without determinization
    Conference paper