Making Agents’ Abilities Explicit
Alternating-time temporal logics (ATL/ATL*) represent a family of modal and temporal logics for reasoning about strategic abilities of agents in multiagent systems. These logics are usually interpreted over concurrent game structures (CGSs), and their interpretations may vary depending on the abilit...
Bewaard in:
| Hoofdauteurs: | , , |
|---|---|
| Formaat: | Artigo |
| Taal: | Inglês |
| Gepubliceerd in: |
IEEE
2019-01-01
|
| Reeks: | IEEE Access |
| Onderwerpen: | |
| Online toegang: | https://ieeexplore.ieee.org/document/8778773/ |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|