TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING (Q2909223): Difference between revisions

@@ Property / describes a project that uses @@
+PGSolver
@@ Property / describes a project that uses: PGSolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Model Checking Games for Branching Time Logics
@@ Property / cites work: Model Checking Games for Branching Time Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054112400333
+Normal rank
@@ Property / OpenAlex ID @@
+W1986303408
@@ Property / OpenAlex ID: W1986303408 / rank @@
+Normal rank