Login / Signup

Approximate Determinization of Quantitative Automata.

Udi BokerThomas A. Henzinger
Published in: FSTTCS (2012)
Keyphrases