Approximate Determinization of Quantitative Automata

DOI10.4230/LIPIcs.FSTTCS.2012.362zbMath1354.68147OpenAlexW1556054734MaRDI QIDQ2957513

Udi Boker, Thomas A. Henzinger

Publication date: 26 January 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3873/pdf/34.pdf

zbMATH Keywords

approximationdeterminizationquantitative automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (6)

Rigorous approximated determinization of weighted automata ⋮ Quantitative safety and liveness ⋮ Quantitative vs. weighted automata ⋮ Approximated determinisation of weighted tree automata ⋮ Non-deterministic Weighted Automata on Random Words ⋮ Non-deterministic weighted automata evaluated over Markov chains

This page was built for publication: Approximate Determinization of Quantitative Automata