Weighted automata and weighted logics with discounting
From MaRDI portal
(Redirected from Publication:840767)
Recommendations
Cites work
- scientific article; zbMATH DE number 1696660 (Why is no real title available?)
- scientific article; zbMATH DE number 438994 (Why is no real title available?)
- 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 3932372 (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 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3588051 (Why is no real title available?)
- scientific article; zbMATH DE number 557977 (Why is no real title available?)
- scientific article; zbMATH DE number 734956 (Why is no real title available?)
- scientific article; zbMATH DE number 1134975 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 2038772 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- Automata theory and its applications
- Decision Problems of Finite Automata Design and Related Arithmetics
- Definable Transductions and Weighted Logics for Texts
- Finite Automata Computing Real Functions
- Handbook of weighted automata
- Linear and combinatorial optimization in ordered algebraic structures
- On aperiodic and star-free formal power series in partially commuting variables
- On the definition of a family of automata
- On the determinization of weighted finite automata
- Skew and infinitary formal power series
- Stochastic Games
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- The design principles of a weighted finite-state transducer library
- Weak Second‐Order Arithmetic and Finite Automata
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted Automata and Weighted Logics with Discounting
- Weighted Distributed Systems and Their Logics
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Weighted Logics for Traces
- Weighted Muller tree automata and weighted logics
- Weighted Picture Automata and Weighted Logics
- Weighted automata and weighted logics
- Weighted automata with discounting
- Weighted logics for unranked tree automata
- Weighted picture automata and weighted logics
- Weighted tree automata and weighted logics
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)
