Results (15)

  • The target discounted-sum problem
    Conference paper
  • Nested weighted automata
    Conference paper
  • Mean-payoff parity games
    Conference paper
  • Concurrent omega-regular games
    Conference paper