Q5141616 (Q5141616): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Eager Markov Chains
@@ Property / cites work: Eager Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about cost-utility constraints in probabilistic models
+Normal rank
@@ Property / cites work @@
+Trading performance for stability in Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q5875369
@@ Property / cites work: Q5875369 / rank @@
+Normal rank
@@ Property / cites work @@
+On the menbership problem for functional and multivalued dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
+Normal rank
@@ Property / cites work @@
+Q3384895
@@ Property / cites work: Q3384895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875667
@@ Property / cites work: Q5875667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015274
@@ Property / cites work: Q5015274 / rank @@
+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 @@
+A note on the complexity of cryptography (Corresp.)
+Normal rank
@@ Property / cites work @@
+Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
+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 @@
+Q2831512
@@ Property / cites work: Q2831512 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal trees grow inside separating automata: Quasi-polynomial lower bounds for 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 @@
+Q4393471
@@ Property / cites work: Q4393471 / rank @@
+Normal rank
@@ Property / cites work @@
+Games through Nested Fixpoints
@@ Property / cites work: Games through Nested Fixpoints / 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 @@
+The Odds of Staying on Budget
@@ Property / cites work: The Odds of Staying on Budget / 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 @@
+PP is as Hard as the Polynomial-Time Hierarchy
@@ Property / cites work: PP is as Hard as the Polynomial-Time Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of membership problems for circuits over sets of integers
+Normal rank