Q5090977 (Q5090977): Difference between revisions

@@ Property / cites work @@
+Q4608660
@@ Property / cites work: Q4608660 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
+Normal rank
@@ Property / cites work @@
+Hard Real-Time Computing Systems
@@ Property / cites work: Hard Real-Time Computing Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+On a Real-Time Scheduling Problem
@@ Property / cites work: On a Real-Time Scheduling Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains for the Automata-Based Approach to Model-Checking
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesising succinct strategies in safety games with an application to real-time scheduling
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Probabilistic Turing Machines
+Normal rank
@@ Property / cites work @@
+The complexity of the \(K\)th largest subset problem and related problems
+Normal rank
@@ Property / cites work @@
+A note on preemptive scheduling of periodic, real-time tasks
+Normal rank
@@ Property / cites work @@
+On the complexity of fixed-priority scheduling of periodic, real-time tasks
+Normal rank
@@ Property / cites work @@
+Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
+Normal rank
@@ Property / cites work @@
+The Complexity of Markov Decision Processes
@@ Property / cites work: The Complexity of Markov Decision Processes / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank