9 citations · 21 across the 5 of their papers we have counts for
1 paper · 1 filter
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski
Alternating-time temporal logic (ATL) allows to specify requirements on abilities that different agents should (or should not) possess in a multi-agent system. However, model check…