A turn-based approach for qualitative time concurrent games (Q2117153): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-76983-3_5
+Normal rank
@@ Property / OpenAlex ID @@
+W3169429640
@@ Property / OpenAlex ID: W3169429640 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical time control of concurrent DES
@@ Property / cites work: Logical time control of concurrent DES / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy improvement for concurrent reachability and turn-based stochastic safety games
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent reachability games
@@ Property / cites work: Concurrent reachability games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791854
@@ Property / cites work: Q4791854 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability-Time Games on Timed Automata
@@ Property / cites work: Reachability-Time Games on Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+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