Playing Safe, Ten Years Later (Q6151559): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-20(1:10)2024
@@ Property / DOI: 10.46298/lmcs-20(1:10)2024 / rank @@
-Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Q5028465
@@ Property / cites work: Q5028465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6124936
@@ Property / cites work: Q6124936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6124943
@@ Property / cites work: Q6124943 / rank @@
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Universal Graphs for Infinite Duration Games
+Normal rank
@@ Property / cites work @@
+Playing Safe
@@ Property / cites work: Playing Safe / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-20(1:10)2024
@@ Property / DOI: 10.46298/LMCS-20(1:10)2024 / rank @@
+Normal rank