Weighted automata with discounting

DOI10.1016/J.IPL.2008.03.014MaRDI QIDQ963467zbMATH OpenOpenAlexFDO

Authors Manfred Droste, Jacques Sakarovitch, Heiko Vogler

Publication date 19 April 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2008.03.014

zbMATH Keywords

formal power seriesfinite automataformal languagesdiscountingrational seriesweighted automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Weighted Automata and Weighted Logics with Discounting
• Weighted automata and weighted logics with discounting
• scientific article; zbMATH DE number 5854945
• Weighted LTL with discounting
• Weighted Automata, Formal Power Series and Weighted Logic

Cites work

• scientific article; zbMATH DE number 5141497 (Why is no real title available?)
• scientific article; zbMATH DE number 5141498 (Why is no real title available?)
• scientific article; zbMATH DE number 5643878 (Why is no real title available?)
• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 4031886 (Why is no real title available?)
• scientific article; zbMATH DE number 4039338 (Why is no real title available?)
• scientific article; zbMATH DE number 3654376 (Why is no real title available?)
• scientific article; zbMATH DE number 41838 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 1134975 (Why is no real title available?)
• scientific article; zbMATH DE number 2038728 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 744065 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• An introduction to pseudo-linear algebra
• On the definition of a family of automata
• Recognizable languages in divisibility monoids
• Skew and infinitary formal power series
• Stochastic Games
• The equivalence problem of multitape finite automata
• Weighted Automata and Weighted Logics with Discounting

Cited in

(15)

• Equational weighted tree transformations with discounting
• A Kleene-Schützenberger theorem for weighted timed automata
• Skew and infinitary formal power series
• A Kleene-Schützenberger Theorem for Weighted Timed Automata
• Weighted automata and weighted logics with discounting
• Exact and approximate determinization of discounted-sum automata
• Valuations of weighted automata: doing it in a rational way
• Determinizing discounted-sum automata
• Model checking linear-time properties of probabilistic systems
• The target discounted-sum problem
• On the comparison of discounted-sum automata with multiple discount factors
• Weighted Automata and Weighted Logics with Discounting
• scientific article; zbMATH DE number 2038728 (Why is no real title available?)
• Weighted finite automata over hemirings
• Automata with Auxiliary Weights

This page was built for publication: Weighted automata with discounting

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