Volume:
Volume 05 Abstract
This paper introduces an illustrative example of multi-agent system application. It consists of description of application, its decomposition into agents and macro model of decision system. Then multi-agent
system modeling tools, such as alternating-time temporal logic and alternating transition systems and their epistemic extensions are presented.
