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