Quantitative languages
From MaRDI portal
Recommendations
Cited in
(86)- Non-deterministic Weighted Automata on Random Words
- General quantitative specification theories with modal transition systems
- Discounted-sum automata with multiple discount factors
- A game-theoretic approach for the synthesis of complex systems
- Integer weighted automata on infinite words
- Approximate learning of limit-average automata
- Safety and liveness of quantitative automata
- Discounted-sum automata with real-valued discount factors
- An automata theoretic approach to observer design for switched linear systems
- The Chomsky-Schützenberger theorem for quantitative context-free languages
- Parameterized weighted containment
- Integer Weighted Automata on Infinite Words
- Probabilistic Weighted Automata
- Coping with selfish on-going behaviors
- Between deterministic and nondeterministic quantitative automata (invited talk)
- Safety and liveness of quantitative properties and automata
- Regular Programming for Quantitative Properties of Data Streams
- Non-deterministic weighted automata evaluated over Markov chains
- On weighted first-order logics with discounting
- Learning infinite-word automata with loop-index queries
- scientific article; zbMATH DE number 7559473 (Why is no real title available?)
- Automata vs linear-programming discounted-sum inclusion
- On Omega-Languages Defined by Mean-Payoff Conditions
- Weighted Linear Dynamic Logic
- Weighted linear dynamic logic
- Making weighted containment feasible: a heuristic based on simulation and abstraction
- Mean-payoff automaton expressions
- scientific article; zbMATH DE number 7577577 (Why is no real title available?)
- scientific article; zbMATH DE number 7561720 (Why is no real title available?)
- Hyperplane separation technique for multidimensional mean-payoff games
- What's decidable about weighted automata?
- Bidirectional nested weighted automata
- Ratio and weight quantiles
- Quantitative simulations by matrices
- The complexity of multi-mean-payoff and multi-energy games
- The big-O problem
- Average stack cost of Büchi pushdown automata
- Measuring and synthesizing systems in probabilistic environments
- A joint spectral radius for -regular language-driven switched linear systems
- On the existence of weak subgame perfect equilibria
- On the existence of weak subgame perfect equilibria
- Comparator automata in quantitative verification
- Expressiveness and closure properties for quantitative languages
- Discounted-sum automata with multiple discount factors
- Emptiness and universality problems in timed automata with positive frequency
- Computing branching distances with quantitative games
- Edit distance for pushdown automata
- scientific article; zbMATH DE number 2040325 (Why is no real title available?)
- Streamable regular transductions
- Quantitative semantics for jumping automata
- Generic forward and backward simulations. III: Quantitative simulations by matrices
- Strategic dominance: a new preorder for nondeterministic processes
- Capacitated automata and systems
- Quantitative Languages
- On deterministic weighted automata
- Quantitative safety and liveness
- Computing the average inter-sample time of event-triggered control using quantitative automata
- Faster algorithms for quantitative verification in bounded treewidth graphs
- A Kleene theorem for weighted tree automata over tree valuation monoids
- Quantitative languages defined by functional automata
- On the comparison of discounted-sum automata with multiple discount factors
- Weighted automata
- Finite-valued weighted automata
- R-Automata
- The quantitative linear-time-branching-time spectrum
- Boundedness of cost register automata over the integer min-plus semiring
- Degree of sequentiality of weighted automata
- Quantitative vs. weighted automata
- Qualitative analysis of concurrent mean-payoff games
- Quantitative Languages Defined by Functional Automata
- A Nivat theorem for weighted picture automata and weighted MSO logics
- Symbolic model checking in non-Boolean domains
- Feasability of learning weighted automata on a semiring
- The big-O problem for max-plus automata is decidable (PSPACE-complete)
- Reactive synthesis without regret
- On memoryless quantitative objectives
- Weighted finite automata over hemirings
- Automata with Auxiliary Weights
- Computing the sampling performance of event-triggered control
- ETCetera: beyond Event-Triggered Control
- Determinisation of finitely-ambiguous copyless cost register automata
- Deterministic weighted automata under partial observability
- Decoupled fitness criteria for reactive systems
- Weighted safety
- Contractibility for open global constraints
- Quantitative fair simulation games
This page was built for publication: Quantitative languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946611)
