Model checking cooperation, knowledge, and time - A case study

Research in Economics

Volumn 57, Issue 3, 2003, Pages 235-265

  van der Hoek, Wiebe ^a   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Alternating bit protocol; Epistemic logic; Model checking

Indexed keywords

EID: 0042261185     PISSN: 10909443     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1090-9443(03)00031-0     Document Type: Article

References (16)

1. Alur, R., Henzinger, T.A., Kupferman, O., 1997. Alternating-time temporal logic. Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, Florida October, 100-109.
2. Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Taşiran, S., 1998. Mocha: modularity in model checking, CAV 1998: Tenth International Conference on Computer-aided Verification (LNCS Volume 1427), Springer, Berlin, pp. 521-525.
3. Alur, R., de Alfaro, L., Henzinger, T.A., Krishnan, S.C., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Taşiran, S., 2000. MOCHA User Manual, University of Berkeley Report.
4. Clarke, E.M., Grumberg, O., Peled, D.A., 2000. Model Checking, The MIT Press, Cambridge, MA.
5. Emerson, E.A., 1990. Temporal and modal logic. In: van Leeuwen, J., (Ed.), Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, Elsevier, Amsterdam, pp. 996-1072.
6. Engelhardt, K., van der Meyden, R., Moses, Y., 1998. Knowledge and the logic of local propositions. Proceedings of the 1998 Conference on Theoretical Aspects of Reasoning about Knowledge (TARK98), Evanston, IL July, 29-41.
7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y., 1995. Reasoning about Knowledge, The MIT Press, Cambridge, MA.
8. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y., 1997. Knowledge-based programs. Distributed Computing 10 (4), 199-225.
9. Halpern, J.Y., Zuck, L.D., 1992. A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols. Journal of the ACM 39 (3), 449-478.
10. van der Hoek, W., Wooldridge, M., 2002a. Model checking knowledge and time. In: Bošnački, D., Leue, S. (Eds.), Model Checking Software, Proceedings of SPIN 2002, LNCS, vol. 2318. Springer, Berlin, pp. 95-111.
11. van der Hoek, W., Wooldridge, M., 2002b. Tractable multiagent planning for epistemic goals. Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Bologna, Italy, 1167-1174.
12. Lomuscio, A., Sergot, M., 2003. Deontic interpreted systems. Studia Logica 75 in press.
13. Meyer, J.-J.Ch., van der Hoek, W., 1995. Epistemic Logic for AI and Computer Science, Cambridge University Press, Cambridge, MA.
14. Osborne, M.J., Rubinstein, A., 1994. A Course in Game Theory, The MIT Press, Cambridge, MA.
15. Rubinstein, A., 1989. The electronic mail game: strategic behavior under almost common knowledge. American Economic Review 79 (3), 85-391.
16. Wooldridge, M., 2002. An Introduction to Multiagent Systems, Wiley, New York.