The following pages link to Quantitative languages (Q2946611):
Displayed 50 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Reactive synthesis without regret (Q520338) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Integer weighted automata on infinite words (Q832935) (← links)
- On deterministic weighted automata (Q1799611) (← links)
- Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
- Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390) (← links)
- Weighted automata (Q2074206) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Learning infinite-word automata with loop-index queries (Q2124472) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- On the existence of weak subgame perfect equilibria (Q2225594) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- A Kleene theorem for weighted tree automata over tree valuation monoids (Q2280327) (← links)
- Streamable regular transductions (Q2286735) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Computing the average inter-sample time of event-triggered control using quantitative automata (Q2677100) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Regular Programming for Quantitative Properties of Data Streams (Q2802466) (← links)
- Automata with Auxiliary Weights (Q2970201) (← links)
- On the Existence of Weak Subgame Perfect Equilibria (Q2988365) (← links)
- Degree of Sequentiality of Weighted Automata (Q2988370) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- On Memoryless Quantitative Objectives (Q3088278) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Edit Distance for Pushdown Automata (Q3449470) (← links)
- Contractibility for open global constraints (Q4593091) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- Non-deterministic Weighted Automata on Random Words (Q5009422) (← links)
- (Q5015275) (← links)
- (Q5089282) (← links)
- (Q5092439) (← links)
- (Q5092440) (← links)
- (Q5094125) (← links)
- (Q5101346) (← links)
- Bidirectional nested weighted automata (Q5111617) (← links)
- Average Stack Cost of Büchi Pushdown Automata (Q5136334) (← links)
- THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES (Q5247168) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- (Q5875378) (← links)
- Decidable weighted expressions with Presburger combinators (Q5915759) (← links)
- Quantitative safety and liveness (Q6091203) (← links)
- On the comparison of discounted-sum automata with multiple discount factors (Q6091205) (← links)
- Computing the sampling performance of event-triggered control (Q6120662) (← links)