Refining and Delegating Strategic Ability in ATL
We propose extending Alternating-time Temporal Logic (ATL) by an operator <i refines-to G> F to express that agent i can distribute its powers to a set of sub-agents G in a way which satisfies ATL condition f on the strategic ability of the coalitions they may form, possibly together with othe...
| 1. autor: | |
|---|---|
| Format: | Artykuł |
| Język: | English |
| Wydane: |
Open Publishing Association
2014-04-01
|
| Seria: | Electronic Proceedings in Theoretical Computer Science |
| Dostęp online: | http://arxiv.org/pdf/1404.0840v1 |