References
- Martin J. Osborne, "An Introduction to Game Theory," Oxford University Press, 2004.
- Sieuwert van Otterloo, "A Strategic Analysis of Multi-agent Protocols," Ph.D. thesis, University of Liverpool, 2005.
- Stuart Russel, Peter Norvig, "Artificial Intelligence-A Modern Approach," Prentice Hall, 2003.
- Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman, "Alternating-Time Temporal Logic," Journal of the ACM, Vol. 49, No.5, pp.672-713, Sept. 2002. https://doi.org/10.1145/585265.585270
- V. Goranko, W. Jamroga, "Comparing Semantics of Logics for Multi-agent Systems," Synthese 00: pp.1-41, 2004.
- Franco Raimondi, "Model Checking Multi-Agent Systems," Ph.D. thesis, University of London, 2006.
- R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, "Reasoning about Knowledge," MIT Press, Cambridge, MA,1995.
- Alessio Lomuscio, Marek Sergot, "Deontic Interpreted Systems," Studia Logica, 75(1), pp.63-92, 2003. https://doi.org/10.1023/A:1026176900459
- Alessio Lomuscio, Franco Raimondi, "Model Checking Knowledge, Strategies, and Games in Multi-Agent Systems," AAMAS, '06.
- Wojciech Jamroga, Wiebe van der Hoek, and Michael Wooldridge, "On Obligations and Abilities," DEON 2004, LNAI 3065 , pp.165-181, 2004.
- Clark, Grumberg, and Peled, "Model Checking," The MIT Press, 1999.
- P. Blackburn, J. Van Benthem, and F. Wolter, "Handbook of Modal Logic," Elsevier, 2007.
- Sieuwert van Otterloo, Geert Jonker, "On Epistemic Temporal Strategic Logic," Electronic Notes in Theoretical Computer Science 126, pp.77-92, 2005.
- Wiebe van der Hoek, Michael Wooldridge, "Tractable Multiagent Planning for Epistemic Goals," Proceedings of the 1st International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), pp.1167-1174, 2002.
- Pierre-Yves Schobbens, "Alternating-time logic with imperfect recall," Electronic Notes in Theoretical Computer Science 85, pp.1-12, 2004.
- G. Jonker, "Feasible strategies in alternating-time temporal epistemiclogic," Universiteit Utrecht Master Thesis, 2003.
- W. Jamroga, W. van der Hoek, "Some remarks on alternating-time temporal epistemic logic," Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS '03), pp.133-140, 2004.
- Paul Harrenstein, Wiebe van der Hoek, John-Jules Meyer, and Cees Witteveen, "On Modal Logic Interpretations of Games," Proceedings of ECAI, 2002.
- Wojciech Jamroga, "Knowledge and Strategic Ability for Model Checknig: A Refined Approach," IfI Technical Report Series IfI-07-11, 2008
- A. Lomuscio, H. Qu, F. Raimondi, "MCMAS: A model checker for the verification of multi-agent systems," Proceedings of the 21th International Conference on Computer Aided Verification (CAV 2009). Grenoble, France. Lecture Notes in Computer Science. Vol 5643 pp. 682-688. Springer.
- F. Raimondi and A. Lomuscio. "MCMAS - A tool for verification of multi-agent systems," 2009. http://www.cs.ucl.ac.uk/staff/f.raimondi/MCMAS/.
- 이근수, 윤선희, "멀티 에이전트를 이용한 인터넷 채용 협상 시스템의 구현," 한국 컴퓨터정보학회 논문지, 제11권, 제2호, 341-349쪽, 2006년 5월.
- 우종우, 김대령, "멀티 에이전트 기반의 지능형 시뮬레이션 도구의 개발," 한국 컴퓨터정보학회 논문지, 제12권, 제6호, 21-30쪽, 2007년 12월.