On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739): Difference between revisions

@@ Property / cites work @@
+Ranking Automata and Games for Prioritized Requirements
+Normal rank
@@ Property / cites work @@
+Concurrent games with tail objectives
@@ Property / cites work: Concurrent games with tail objectives / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of quantitative concurrent parity games
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic Priority Mean-Payoff Games as Limits of Discounted Games
+Normal rank
@@ Property / cites work @@
+Lattice Automata
@@ Property / cites work: Lattice Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / 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