A communication algorithm for teamwork in multi-agent environments (Q5188175): Difference between revisions

@@ Property / cites work @@
+LTL model checking for security protocols
@@ Property / cites work: LTL model checking for security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of temporal-epistemic properties of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Creating collective intention through dialogue
@@ Property / cites work: Creating collective intention through dialogue / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+A formalisation of violation, error recovery, and enforcement in the bit transmission problem
+Normal rank
@@ Property / cites work @@
+The cooperative problem-solving process
@@ Property / cites work: The cooperative problem-solving process / rank @@
+Normal rank