SIAM

SHERPA: unknown

Groups

  1. Edelsbrunner Group (16)
  2. Chatterjee Group (5)
  3. Wagner Group (5)
  4. Henzinger Group (3)
  5. IST Fellow (3)
  6. Kolmogorov Group (3)
  7. Alumni (1)
  8. PhD Students (1)

Results (29)

  • Quantitative stochastic parity games
    Conference paper
  • SIAM – authorized name for: