Representation and Reasoning about Strategic Abilities with <i>ω</i>-Regular Properties

Representation and Reasoning about Strategic Abilities with <i>ω</i>-Regular Properties

Specification and verification of coalitional strategic abilities have been an active research area in multi-agent systems, artificial intelligence, and game theory. Recently, many strategic logics, e.g., Strategy Logic (SL) and alternating-time temporal logic (ATL<inline-formula><math xmln...

Full description

Bibliographic Details
Main Authors: Liping Xiong, Sumei Guo
Format: Article
Language:English
Published: MDPI AG 2021-11-01
Series:Mathematics
Subjects:
strategic abilities
ω-regular properties
linear dynamic logic
strategic logics
model checking
concurrent game structure
Online Access:https://www.mdpi.com/2227-7390/9/23/3052

Internet

https://www.mdpi.com/2227-7390/9/23/3052

Similar Items