Weighted automata with discounting

DOI10.1016/J.IPL.2008.03.014zbMATH Open1186.68253OpenAlexW2023283861MaRDI QIDQ963467FDOQ963467

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

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

zbMATH Keywords

formal power seriesfinite automataformal languagesdiscountingrational seriesweighted automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Stochastic Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the definition of a family of automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An introduction to pseudo-linear algebra
• Title not available (Why is that?)
• The equivalence problem of multitape finite automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weighted Automata and Weighted Logics with Discounting
• Skew and infinitary formal power series
• Recognizable languages in divisibility monoids

Cited In (15)

• Equational weighted tree transformations with discounting
• A Kleene-Schützenberger Theorem for Weighted Timed Automata
• A Kleene-Schützenberger theorem for weighted timed automata
• Skew and infinitary formal power series
• Exact and approximate determinization of discounted-sum automata
• Weighted automata and weighted logics with discounting
• 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
• Title not available (Why is that?)
• Automata with Auxiliary Weights
• Weighted finite automata over hemirings

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)