Ratio and Weight Quantiles (Q2946351): Difference between revisions

@@ Property / author @@
+Christel Baier
@@ Property / author: Christel Baier / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-48057-1_27
+Normal rank
@@ Property / OpenAlex ID @@
+W2400703163
@@ Property / OpenAlex ID: W2400703163 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Model Checking for Energy-Utility Analysis
+Normal rank
@@ Property / cites work @@
+Trade-off analysis meets probabilistic model checking
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Weight monitoring with linear temporal logic
@@ Property / cites work: Weight monitoring with linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Specifications with Accumulative Values
@@ Property / cites work: Temporal Specifications with Accumulative Values / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Analysis of the Backward Coverability Algorithm for VASS
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Long-run Average Objectives
+Normal rank
@@ Property / cites work @@
+Q5417673
@@ Property / cites work: Q5417673 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing probabilistic pushdown automata
@@ Property / cites work: Analyzing probabilistic pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-reachability in probabilistic multi-counter automata
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / rank @@
+Normal rank
@@ Property / cites work @@
+Energy and Mean-Payoff Parity Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
+Normal rank
@@ Property / cites work @@
+On the Complexity of Nash Equilibria and Other Fixed Points
+Normal rank
@@ Property / cites work @@
+Q3966878
@@ Property / cites work: Q3966878 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric algorithms and combinatorial optimization.
+Normal rank
@@ Property / cites work @@
+The Odds of Staying on Budget
@@ Property / cites work: The Odds of Staying on Budget / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Bounds for Multiweighted and Parametrised Energy Games
+Normal rank
@@ Property / cites work @@
+Q2774021
@@ Property / cites work: Q2774021 / rank @@
+Normal rank
@@ Property / cites work @@
+Ratio and Weight Quantiles
@@ Property / cites work: Ratio and Weight Quantiles / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Percentile queries in multi-dimensional Markov decision processes
+Normal rank
@@ Property / cites work @@
+Computing Quantiles in Markov Reward Models
@@ Property / cites work: Computing Quantiles in Markov Reward Models / rank @@
+Normal rank