Determinizing discounted-sum automata

DOI10.4230/LIPICS.CSL.2011.82MaRDI QIDQ2915675zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Exact and approximate determinization of discounted-sum automata
• Approximate determinization of quantitative automata
• Weighted automata with discounting
• The target discounted-sum problem
• Probabilistic Weighted Automata

Cited in

(8)

• On weighted first-order logics with discounting
• Exact and approximate determinization of discounted-sum automata
• Automata vs linear-programming discounted-sum inclusion
• Safety and co-safety comparator automata for discounted-sum inclusion
• Approximate determinization of quantitative automata
• The target discounted-sum problem
• Determinization of integral discounted-sum automata is decidable
• On the comparison of discounted-sum automata with multiple discount factors

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915675)