The following pages link to Quantitative Languages (Q3540192):
Displaying 49 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)
- Quantitative fair simulation games (Q528184) (← 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)
- Expressiveness and closure properties for quantitative languages (Q2786127) (← 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. I. (Q2876612) (← links)
- Conway and iteration hemirings. II. (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)
- Approximate Determinization of Quantitative Automata (Q2957513) (← links)
- Finite-Valued Weighted Automata. (Q2978508) (← 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)
- (Q4508561) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
- Quantitative Languages Defined by Functional Automata (Q5891775) (← links)
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (Q6137852) (← links)
- Optimal repair for omega-regular properties (Q6160923) (← links)
- Determinization of integral discounted-sum automata is decidable (Q6629458) (← links)
- A Nivat theorem for weighted alternating automata over commutative semirings (Q6649528) (← links)
