11 citations · 44 across the 24 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…