Quantitative Languages
From MaRDI portal
Recommendations
Cited in
(65)- Conway and iteration hemirings. II.
- Equational weighted tree transformations with discounting
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Quantitative analysis of weighted transition systems
- The Chomsky-Schützenberger theorem for quantitative context-free languages
- Parameterized weighted containment
- Probabilistic Weighted Automata
- Coping with selfish on-going behaviors
- Between deterministic and nondeterministic quantitative automata (invited talk)
- Weighted automata and logics on infinite graphs
- Automata vs linear-programming discounted-sum inclusion
- On Omega-Languages Defined by Mean-Payoff Conditions
- An improved algorithm for determinization of weighted and fuzzy automata
- Valuations of weighted automata: doing it in a rational way
- Making weighted containment feasible: a heuristic based on simulation and abstraction
- Mean-payoff automaton expressions
- Optimal repair for omega-regular properties
- Monitor Logics for Quantitative Monitor Automata
- Approximate determinization of quantitative automata
- Temporal specifications with accumulative values
- Model measuring for discrete and hybrid systems
- What's decidable about weighted automata?
- An abstraction-refinement framework for trigger querying
- Ratio and weight quantiles
- Determinization of weighted finite automata over strong bimonoids
- Modeling for Verification
- Comparator automata in quantitative verification
- Quantitative simulation games
- Expressiveness and closure properties for quantitative languages
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
- Mean-payoff games with partial observation
- Weighted register automata and weighted logic on data words
- scientific article; zbMATH DE number 2040325 (Why is no real title available?)
- Determinization of integral discounted-sum automata is decidable
- Generic forward and backward simulations. III: Quantitative simulations by matrices
- Quantitative languages
- Latticed-LTL synthesis in the presence of noisy inputs
- Synthesizing efficient controllers
- Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics
- Coping with selfish on-going behaviors
- Quantitative languages defined by functional automata
- A Nivat theorem for weighted alternating automata over commutative semirings
- What's decidable about weighted automata?
- Weight assignment logic
- Finite-valued weighted automata
- A note on the approximation of mean-payoff games
- A Nivat theorem for weighted picture automata and weighted MSO logic
- Quantitative vs. weighted automata
- scientific article; zbMATH DE number 1512863 (Why is no real title available?)
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- On the supports of recognizable timed series
- Models for quantitative distributed systems and multi-valued logics
- Quantitative Languages Defined by Functional Automata
- Regular Expressions on Average and in the Long Run
- Satisfiability of quantitative probabilistic CTL: rise to the challenge
- Rigorous approximated determinization of weighted automata
- Weighted finite automata over hemirings
- Multi-Valued Reasoning about Reactive Systems
- The inclusion problem for weighted automata on infinite trees
- Max and sum semantics for alternating weighted automata
- Conway and iteration hemirings. I.
- Weighted safety
- Jumping automata must pay
- 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 Q3540192)
