Weighted Linear Dynamic Logic
From MaRDI portal
Publication:6154979
DOI10.1142/s0129054123480088OpenAlexW4388769689MaRDI QIDQ6154979
Unnamed Author, George Rahonis, Manfred Droste
Publication date: 16 February 2024
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054123480088
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Multi-weighted automata and MSO logic
- A note on the commutative closure of star-free languages
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Handbook of weighted automata
- Weighted finite automata over strong bimonoids
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Weighted automata
- Weighted automata and weighted logics
- On weighted first-order logics with discounting
- On iteration semiring-semimodule pairs.
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
- Weighted First-Order Logics over Semirings
- Weighted LTL with Discounting
- Quantitative languages
- Formally Reasoning About Quality
- Averaging in LTL
- WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
- On the definition of a family of automata
- On a Theorem of R. Jungen
- Weighted Automata and Weighted Logics on Infinite Words
- A Weighted μ-Calculus on Words
- Rational and Recognisable Power Series
- Weighted Automata and Weighted Logics
- Fuzzy Languages
- Lattice Automata
- Discounting in LTL
- Alternation-free weighted mu-calculus: decidability and completeness
This page was built for publication: Weighted Linear Dynamic Logic