Weighted automata and weighted logics with discounting
From MaRDI portal
Publication:840767
DOI10.1016/J.TCS.2009.03.029zbMATH Open1191.68382OpenAlexW2119375992MaRDI QIDQ840767FDOQ840767
Authors: Manfred Droste, George Rahonis 
Publication date: 14 September 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.03.029
Recommendations
Cites Work
- Stochastic Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear and combinatorial optimization in ordered algebraic structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Handbook of weighted automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the determinization of weighted finite automata
- On the definition of a family of automata
- Title not available (Why is that?)
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- Title not available (Why is that?)
- Weak Second‐Order Arithmetic and Finite Automata
- Title not available (Why is that?)
- Decision Problems of Finite Automata Design and Related Arithmetics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Finite Automata Computing Real Functions
- Title not available (Why is that?)
- Weighted automata with discounting
- Automata theory and its applications
- Weighted automata and weighted logics
- Weighted Muller tree automata and weighted logics
- Weighted logics for unranked tree automata
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted tree automata and weighted logics
- Weighted Logics for Traces
- Definable Transductions and Weighted Logics for Texts
- Weighted Distributed Systems and Their Logics
- Weighted Picture Automata and Weighted Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Weighted picture automata and weighted logics
- Weighted Automata and Weighted Logics with Discounting
- On aperiodic and star-free formal power series in partially commuting variables
- The design principles of a weighted finite-state transducer library
- Title not available (Why is that?)
- Skew and infinitary formal power series
Cited In (19)
- Equational weighted tree transformations with discounting
- Weighted automata with discounting
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Quantitative analysis of weighted transition systems
- On weighted first-order logics with discounting
- Weighted linear dynamic logic
- Valuations of weighted automata: doing it in a rational way
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.
- On high-quality synthesis
- Weighted modal transition systems
- Stochastization of weighted automata
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
- Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics
- On the comparison of discounted-sum automata with multiple discount factors
- Weighted Automata and Weighted Logics with Discounting
- Weighted automata
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\)
- Weighted LTL with discounting
This page was built for publication: Weighted automata and weighted logics with discounting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840767)
