No big deal: introducing roles to reduce the size of ATL models

Details No big deal: introducing roles to reduce the size of ATL models No big deal: introducing roles to reduce the size of ATL models

2012-04-16

arxiv.org/abs/1204.3495v1

Computer Science

Logic in Computer Science

Accepted for presentation at LAMAS 2012 workshop on June 5, 2012 in Valencia, Spain

Scientific paper

In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, analyze model checking complexity and prove equivalence between standard ATL semantics and our new approach.

Affiliated with

Also associated with

No associations

Rating

No big deal: introducing roles to reduce the size of ATL models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with No big deal: introducing roles to reduce the size of ATL models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and No big deal: introducing roles to reduce the size of ATL models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-6688