Systems of agents controlled by logical programs: complexity of verification (Q1040334): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On feasible cases of checking multi-agent systems behavior.
+Normal rank
@@ Property / cites work @@
+On complexity of verification of interacting agents' behavior
+Normal rank
@@ Property / cites work @@
+MetateM: An introduction
@@ Property / cites work: MetateM: An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536749
@@ Property / cites work: Q4536749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4209291
@@ Property / cites work: Q4209291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739289
@@ Property / cites work: Q4739289 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous active agents. III: Polynomially implementable agents
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353562
@@ Property / cites work: Q4353562 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486072
@@ Property / cites work: Q5486072 / rank @@
+Normal rank