Código QR (código de barras bidimensional)

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

תיאור מלא

שמור ב:
Principais autores: 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/
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים