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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Үндсэн зохиолчид:	Yedi Zhang, Fu Song, Taolue Chen
Формат:	Artigo
Хэл сонгох:	Inglês
Хэвлэсэн:	IEEE 2019-01-01
Цуврал:	IEEE Access
Нөхцлүүд:	Model-checking multi-agent systems alternating-time temporal logics agents’ abilities
Онлайн хандалт:	https://ieeexplore.ieee.org/document/8778773/
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!