The following pages link to Quantitative Languages (Q3540192):
Displayed 42 items.
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- Weighted finite automata over hemirings (Q388788) (← links)
- Coping with selfish on-going behaviors (Q418112) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- A note on the approximation of mean-payoff games (Q2446598) (← links)
- Mean-payoff games with partial observation (Q2636514) (← 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)
- Models for quantitative distributed systems and multi-valued logics (Q2855751) (← links)
- Conway and iteration hemirings Part 1 (Q2876612) (← links)
- Conway and iteration hemirings Part 2 (Q2876613) (← links)
- Synthesizing Efficient Controllers (Q2891434) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Regular Expressions on Average and in the Long Run (Q3073640) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- Modeling for Verification (Q3176361) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
- Satisfiability of quantitative probabilistic CTL: rise to the challenge (Q6113985) (← links)
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (Q6137852) (← links)
- Optimal repair for omega-regular properties (Q6160923) (← links)