7 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Steen Vester
Model-checking the alternating-time temporal logics ATL and ATL* with incomplete information is undecidable for perfect recall semantics. However, when restricting to memoryless st…