Oberholzer, Johannes Francois
(University of Pretoria, 2020-01)
Alternating-Time Temporal Logic (ATL), introduced by Alur, Henzinger and
Kupferman, is a logic involving coalitions of agents performing actions which cause
a state change in a turn-based time system. There have been ...