1 citations · 2 across the 9 of their papers we have counts for
1 paper · 1 filter
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems, together with an algorithm for automated reduction of models. The…