Results (24)

  • The target discounted-sum problem
    Conference paper
  • Nested weighted automata
    Conference paper