Ratio and Weight Quantiles
From MaRDI portal
Publication:2946351
DOI10.1007/978-3-662-48057-1_27zbMath1465.68155OpenAlexW2400703163MaRDI QIDQ2946351
Clemens Dubslaff, Jana Schubert, Daniel Krähmann, 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
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The covering and boundedness problems for vector addition systems
- Geometric algorithms and combinatorial optimization.
- Energy parity games
- Analyzing probabilistic pushdown automata
- Optimal Bounds for Multiweighted and Parametrised Energy Games
- Ratio and Weight Quantiles
- Temporal Specifications with Accumulative Values
- On the Complexity of Nash Equilibria and Other Fixed Points
- Energy and Mean-Payoff Parity Markov Decision Processes
- Complexity Analysis of the Backward Coverability Algorithm for VASS
- The Odds of Staying on Budget
- Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
- Multi-Objective Model Checking of Markov Decision Processes
- Trade-off analysis meets probabilistic model checking
- Weight monitoring with linear temporal logic
- Zero-reachability in probabilistic multi-counter automata
- Computing Quantiles in Markov Reward Models
- Markov Decision Processes with Multiple Long-run Average Objectives
- Probabilistic Model Checking for Energy-Utility Analysis
- Formal Modeling and Analysis of Timed Systems
- Percentile queries in multi-dimensional Markov decision processes
This page was built for publication: Ratio and Weight Quantiles
