Pages that link to "Item:Q1932173"
From MaRDI portal
The following pages link to Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173):
Displaying 26 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- On deterministic weighted automata (Q1799611) (← links)
- Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390) (← links)
- Weighted propositional configuration logics: a specification language for architectures with quantitative features (Q2064516) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Weighted automata (Q2074206) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Automata with Auxiliary Weights (Q2970201) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- (Q5015275) (← links)
- Crisp-determinization of weighted tree automata over strong bimonoids (Q5038197) (← links)
- (Q5092440) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)