Pages that link to "Item:Q840767"
From MaRDI portal
The following pages link to Weighted automata and weighted logics with discounting (Q840767):
Displaying 13 items.
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Weighted automata (Q2074206) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (Q5005180) (← links)
- Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)
- On High-Quality Synthesis (Q5740173) (← links)
