Schloss Dagstuhl - Leibniz-Zentrum für Informatik

SHERPA: unknown

Groups

  1. Chatterjee Group (21)
  2. Henzinger Group (20)
  3. IST Fellow (7)
  4. Edelsbrunner Group (5)
  5. PhD Students (5)
  6. Wagner Group (5)
  7. Pietrzak Group (4)
  8. Alumni (3)
  9. Guet Group (1)
Search Within
Refine Results
Publishers

More Publishers

Affiliation
  1. IST Austria (45)
Peer reviewed
  1. yes (34)
  2. no (11)
Invited
  1. no (45)

Results (45)

  • Approximate determinization of quantitative automata
    Conference paper
  • From model checking to model measuring
    Conference paper