MCK: Model Checking the Logic of Knowledge-Reference-Cited by-同舟云学术

MCK: Model Checking the Logic of Knowledge

Published:2004 Issue: Volume: Page:479-483
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Gammie Peter,van der Meyden Ron

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27813-9_41

Reference11 articles.

1. Benerecetti, M., Giunchiglia, F., Serafini, L.: Multiagent model checking. Journal of Logic and Computation 8(3), 401–423 (1997)

2. Bertoli, P., Cimatti, A., Pistore, M., Taverso, P.: Plan validation for extended goals under partial observability (preliminary report). In: AIPS 2002 Workshop on Planning via Model Checking, Toulouse, France (April 2002)

3. Engelhardt, K., van der Meyden, R., Moses, Y.: Knowledge and the logic of local propositions. In: Gilboa, I. (ed.) Theoretical Aspects of Rationality and Knowledge, July 1998, pp. 29–41. Morgan Kaufmann, San Francisco (1998)

4. Lecture Notes in Computer Science;R.H. Bordini,2003

5. Halpern, J., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37(3), 549–587 (1990)

Cited by 86 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems;Lecture Notes in Computer Science;2024

2. PNer: A Petri-Net-Based Model Checker for Computation Tree Logic;2023 IEEE International Conference on Networking, Sensing and Control (ICNSC);2023-10-25

3. Model Checking for Probabilistic Multiagent Systems;Journal of Computer Science and Technology;2023-09

4. A testing framework for JADE agent-based software;Multiagent and Grid Systems;2023-06-08

5. Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems;IEEE Transactions on Computational Social Systems;2023-04