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

Description complète

Détails bibliographiques

Auteurs principaux:	Yedi Zhang, Fu Song, Taolue Chen
Format:	Artigo
Langue:	Inglês
Publié:	IEEE 2019-01-01
Collection:	IEEE Access
Sujets:	Model-checking multi-agent systems alternating-time temporal logics agents’ abilities
Accès en ligne:	https://ieeexplore.ieee.org/document/8778773/
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!