Search Within

Udi Boker

Uboker
Email: Udi.Boker_REMOVE_THIS_@ist.ac.at
Interests:

Results (12)

  • 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