Synthesizing Efficient Controllers (Q2891434): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Synthesizing robust systems
@@ Property / cites work: Synthesizing robust systems / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038703
@@ Property / cites work: Q4038703 / rank @@
+Normal rank
@@ Property / cites work @@
+On Sequential Decisions and Markov Chains
@@ Property / cites work: On Sequential Decisions and Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank