A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic
2018
International Workshop on Concurrency, Specification and Programming
Multi-agent systems describe interactions of multiple entities called agents, often assumed to be intelligent and autonomous [1, 14] . Alternating-time temporal logic (ATL ) and its fragment ATL [2] are logics which allow for reasoning about strategic interactions in such systems, by extending the framework of temporal logic with the gametheoretic notion of strategic ability. Hence, ATL enables to express statements about what agents or their groups can achieve. Such properties can be useful
dblp:conf/csp/Penczek18
fatcat:fkafd5uuvbgifm6enomdvfpbsa