Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SHERPA: unknown

People

Groups

  1. Henzinger Group (1)

Results (1)

  • Approximate determinization of quantitative automata
    Conference paper