Results (11)

  • Battery transition systems
    Conference paper
  • Nondeterminism in the presence of a diverse or unknown future
    Conference paper
  • Formalizing and reasoning about quality
    Conference paper
  • Nondeterminism in the presence of a diverse or unknown future
    Conference paper
  • Approximate determinization of quantitative automata
    Conference paper
  • What’s decidable about weighted automata
    Conference paper
  • Determinizing discounted-sum automata
    Conference paper