Results (8)

  • Lipschitz robustness of finite-state transducers
    Conference paper
  • Approximate determinization of quantitative automata
    Conference paper
  • Algorithms for game metrics
    Conference paper
  • Stochastic Müller games are PSPACE-complete
    Conference paper
  • Markov decision processes with multiple long-run average objectives
    Conference paper
  • Semiperfect-information games
    Conference paper