Q5875369 (Q5875369): Difference between revisions

@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Decisive Markov Chains
@@ Property / cites work: Decisive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Value iteration for long-run average reward in Markov decision processes
+Normal rank
@@ Property / cites work @@
+Reasoning about cost-utility constraints in probabilistic models
+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 @@
+On the menbership problem for functional and multivalued dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+Q5141616
@@ Property / cites work: Q5141616 / rank @@
+Normal rank
@@ Property / cites work @@
+Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q3384895
@@ Property / cites work: Q3384895 / rank @@
+Normal rank
@@ Property / cites work @@
+Trading performance for stability in Markov decision processes
+Normal rank
@@ Property / cites work @@
+Stability in Graphs and Games
@@ Property / cites work: Stability in Graphs and Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875369
@@ Property / cites work: Q5875369 / rank @@
+Normal rank
@@ Property / cites work @@
+Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
+Normal rank
@@ Property / cites work @@
+Q5015274
@@ Property / cites work: Q5015274 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of heterogeneous multidimensional quantitative games
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Looking at mean-payoff and total-payoff through windows
+Normal rank
@@ Property / cites work @@
+Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
+Normal rank
@@ Property / cites work @@
+Finitary winning in ω-regular games
@@ Property / cites work: Finitary winning in ω-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
+Normal rank
@@ Property / cites work @@
+A pseudo-quasi-polynomial algorithm for mean-payoff parity games
+Normal rank
@@ Property / cites work @@
+Reachability in two-clock timed automata is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Games through Nested Fixpoints
@@ Property / cites work: Games through Nested Fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q4393471
@@ Property / cites work: Q4393471 / rank @@
+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 @@
+Multi-cost bounded reachability in MDP
@@ Property / cites work: Multi-cost bounded reachability in MDP / rank @@
+Normal rank
@@ Property / cites work @@
+Looking at mean payoff through foggy windows
@@ Property / cites work: Looking at mean payoff through foggy windows / rank @@
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Variations on the Stochastic Shortest Path Problem
+Normal rank
@@ Property / cites work @@
+Percentile queries in multi-dimensional Markov decision processes
+Normal rank
@@ Property / cites work @@
+Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
+Normal rank
@@ Property / cites work @@
+The complexity of membership problems for circuits over sets of integers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5875369