Ratio and weight quantiles

DOI10.1007/978-3-662-48057-1_27MaRDI QIDQ2946351zbMATH OpenOpenAlexFDO

Authors Daniel Krähmann, Jana Schubert, Clemens Dubslaff, Christel Baier

Publication date 16 September 2015

Published in Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48057-1_27

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Recommendations

• Quantitative Verification of Weighted Kripke Structures
• Quantitative Languages
• Quantitative languages
• Quantitative Languages Defined by Functional Automata
• Quantitative languages defined by functional automata

Cites work

• Analyzing probabilistic pushdown automata
• Complexity analysis of the backward coverability algorithm for VASS
• Computing quantiles in Markov reward models
• Energy and Mean-Payoff Parity Markov Decision Processes
• Energy parity games
• Formal Modeling and Analysis of Timed Systems
• Geometric algorithms and combinatorial optimization.
• scientific article; zbMATH DE number 1713116 (Why is no real title available?)
• scientific article; zbMATH DE number 3789617 (Why is no real title available?)
• scientific article; zbMATH DE number 3582425 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Markov decision processes with multiple long-run average objectives
• Multi-Objective Model Checking of Markov Decision Processes
• On the Complexity of Nash Equilibria and Other Fixed Points
• One-counter Markov decision processes
• Optimal bounds for multiweighted and parametrised energy games
• Percentile queries in multi-dimensional Markov decision processes
• Probabilistic model checking for energy-utility analysis
• Ratio and weight quantiles
• Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
• Temporal specifications with accumulative values
• The covering and boundedness problems for vector addition systems
• The odds of staying on budget
• Trade-off analysis meets probabilistic model checking
• Weight monitoring with linear temporal logic
• Zero-reachability in probabilistic multi-counter automata

Cited in

(7)

• Comparator automata in quantitative verification
• Reasoning about cost-utility constraints in probabilistic models
• Relating quantiles and expectiles under weighted-symmetry
• Ratio and weight quantiles
• The big-O problem for labelled Markov chains and weighted automata
• The big-O problem
• List's worst-average-case or WAC ratio

This page was built for publication: Ratio and weight quantiles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946351)