Weighted automata and weighted logics with discounting
type: Item
instance of: scholarly article
title: Weighted automata and weighted logics with discounting
zbMATH Open document ID: 1191.68382
author: Manfred Droste
author: George Rahonis
published in: Theoretical Computer Science
publication date: 2009-09-14T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5603649
zbMATH Keywords: weighted automata
zbMATH Keywords: weighted Büchi and Muller automata
zbMATH Keywords: formal power series
zbMATH Keywords: weighted MSO logic
zbMATH Keywords: discounting
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.03.029
OpenAlex ID: W2119375992
cites work: Q4289659
cites work: Q4083730
cites work: Q3994777
cites work: Weighted Distributed Systems and Their Logics
cites work: On the determinization of weighted finite automata
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q5525343
cites work: Finite Automata Computing Real Functions
cites work: Q4449238
cites work: Weighted automata and weighted logics
cites work: On aperiodic and star-free formal power series in partially commuting variables
cites work: Handbook of weighted automata
cites work: Skew and infinitary formal power series
cites work: Weighted Automata and Weighted Logics on Infinite Words
cites work: Weighted Automata and Weighted Logics with Discounting
cites work: Weighted automata with discounting
cites work: Weighted tree automata and weighted logics
cites work: Weighted logics for unranked tree automata
cites work: Q4079524
cites work: Decision Problems of Finite Automata Design and Related Arithmetics
cites work: Q3431478
cites work: Q3431479
cites work: Weighted picture automata and weighted logics
cites work: Q4382287
cites work: Q2766855
cites work: Automata theory and its applications
cites work: THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
cites work: Q4714446
cites work: Q3704880
cites work: Q4326390
cites work: Definable Transductions and Weighted Logics for Texts
cites work: Weighted Logics for Nested Words and Algebraic Formal Power Series
cites work: Weighted Picture Automata and Weighted Logics
cites work: Q3141897
cites work: Weighted Logics for Traces
cites work: The design principles of a weighted finite-state transducer library
cites work: Q5317419
cites work: Q3515223
cites work: Q4155837
cites work: On the definition of a family of automata
cites work: Stochastic Games
cites work: Q4385530
cites work: Linear and combinatorial optimization in ordered algebraic structures
DOI: 10.1016/J.TCS.2009.03.029
description: scientific article; zbMATH DE number 5603649