Results (16)

  • Nested weighted automata
    Conference paper
  • Mean payoff pushdown games
    Conference paper