Determinizing discounted-sum automata

DOI10.4230/LIPICS.CSL.2011.82zbMath1247.68128OpenAlexW2249410330MaRDI QIDQ2915675

Udi Boker, Thomas A. Henzinger

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_242e.html

zbMATH Keywords

determinizationquantitative verificationdiscounted-sum automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

On weighted first-order logics with discounting ⋮ Determinization of integral discounted-sum automata is decidable

This page was built for publication: Determinizing discounted-sum automata