Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Synthesis of distributed systems from knowledge-based specifications
CONCUR 2005 - Concurrency Theory
Model Checking Knowledge and Linear Time: PSPACE Cases
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
A note on a generalization of the Muddy Children puzzle
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Verified synthesis of knowledge-based programs in finite synchronous environments
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Hi-index | 0.00 |