On the complexity of synthesizing a minimum-weighted supervisor under partial observation (Q458885): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A13
@@ Property / Mathematics Subject Classification ID: 93A13 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 93B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B07
@@ Property / Mathematics Subject Classification ID: 93B07 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6352414
@@ Property / zbMATH DE Number: 6352414 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted automata
@@ Property / zbMATH Keywords: weighted automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+supervisor synthesis
@@ Property / zbMATH Keywords: supervisor synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+controllability
@@ Property / zbMATH Keywords: controllability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+normality
@@ Property / zbMATH Keywords: normality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+NP-completeness/hardness
@@ Property / zbMATH Keywords: NP-completeness/hardness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural observer
@@ Property / zbMATH Keywords: natural observer / rank @@
+Normal rank

Revision as of 13:21, 30 June 2023