Results (3)

  • Interface Simulation Distances
    Conference paper
  • A reduction from parity games to simple stochastic games
    Conference paper
  • Discounting in games across time scales
    Conference paper