activity
20072025
most citedModel-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

29 citations · 40 across the 9 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020

Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games

Dimitar P. Guelev

We propose enhancing the use of propositions for denoting decisions and strategies as established in temporal languages such as CTL*, if interpreted on concurrent game models. The…