59 citations · 249 across the 42 of their papers we have counts for
1 paper · 2 filters
Yifan He, Munyque Mittelmann, Aniello Murano +1
This paper studies the complexity of model checking strategic abilities in multiagent systems under imperfect information, in particular systems represented succinctly. Such a repr…