Antichains and compositional algorithms for LTL synthesis (Q453498): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+D05
@@ Property / Mathematics Subject Classification ID: 03D05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 91A80 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6087619
@@ Property / zbMATH DE Number: 6087619 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+LTL realizability and synthesis
@@ Property / zbMATH Keywords: LTL realizability and synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automata on infinite words
@@ Property / zbMATH Keywords: automata on infinite words / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositional algorithms
@@ Property / zbMATH Keywords: compositional algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+antichain algorithms
@@ Property / zbMATH Keywords: antichain algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+safety game
@@ Property / zbMATH Keywords: safety game / rank @@
+Normal rank

Revision as of 11:01, 30 June 2023