Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Erik Parmann"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 61-69 (2013)
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 a
Externí odkaz:
https://doaj.org/article/a931089811644b6388332e9c39b572b0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 61-69 (2013)
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 a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::635cd8a3e51acc3a080aaf6482feca86
https://doi.org/10.4204/eptcs.112.11
https://doi.org/10.4204/eptcs.112.11