On Determinisation of Good-for-Games Automata (Q3449484): Difference between revisions

@@ Property / cites work @@
+Nondeterminism in the Presence of a Diverse or Unknown Future
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+The Theory of Stabilisation Monoids and Regular Cost Functions
+Normal rank
@@ Property / cites work @@
+Forms of Determinism for Automata (Invited Talk)
@@ Property / cites work: Forms of Determinism for Automata (Invited Talk) / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Are Good-for-Games Automata Good for Probabilistic Model Checking?
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank