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...

ver descrição completa

Detalhes bibliográficos

Principais autores:	Yedi Zhang, Fu Song, Taolue Chen
Formato:	Artigo
Idioma:	Inglês
Publicado em:	IEEE 2019-01-01
coleção:	IEEE Access
Assuntos:	Model-checking multi-agent systems alternating-time temporal logics agents’ abilities
Acesso em linha:	https://ieeexplore.ieee.org/document/8778773/
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!