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

29 citations · 109 across the 33 of their papers we have counts for

collaborators
Showing 2024 · cs.GTShow all

Nothing from them under that filter.

Their other years and fields are still on the left.