Pages that link to "Item:Q1932173"

The following pages link to Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173):

Displayed 11 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)
• Qualitative analysis of concurrent mean-payoff games (Q2346403) ‎ (← links)
• On weighted first-order logics with discounting (Q2453983) ‎ (← 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)