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

@@ 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