Concurrent Game Structures with Roles
| Autor: | Erik Parmann, Sjur K. Dyrkolbotn, Truls Pedersen, Piotr Kaźmierczak |
|---|---|
| Rok vydání: | 2013 |
| Předmět: |
FOS: Computer and information sciences
Model checking Computer Science - Logic in Computer Science Theoretical computer science Semantics (computer science) Computer science lcsh:Mathematics lcsh:QA1-939 lcsh:QA75.5-76.95 Logic in Computer Science (cs.LO) F.4.1 Computer Science - Multiagent Systems lcsh:Electronic computers. Computer science State (computer science) Wireless sensor network Multiagent Systems (cs.MA) |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 61-69 (2013) |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/eptcs.112.11 |
| Popis: | 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, provide motivating examples based on sensor networks, and analyze model checking complexity. In Proceedings SR 2013, arXiv:1303.0071 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|