Results (2)

  • On memoryless quantitative objectives
    Conference paper
  • Alternating weighted automata
    Conference paper