Volume:
Volume 05 Abstract
Modeling of multi agent system is a very important part in the designing process. The paper presents an alternating-time temporal logic as such modeling approach. Alternating-time temporal logic (ATL) is
temporal logic derived from branching temporal logic CTL. ATL models only behavior of multi-agent system on propositional level. Design of MAS can be more precise with alternating transition system (ATS), but more complicated. This paper tries to explain this complicating process by designing an illustrative multi-agent system example.
