Refine Results
Affiliation
  1. IST Austria (11)
Peer reviewed
  1. no (8)
  2. yes (3)
Invited
  1. no (11)

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