20 citations · 33 across the 6 of their papers we have counts for
1 paper · 1 filter
Panagiotis Kouvaros, Alessio Lomuscio
A key problem in verification of multi-agent systems by model checking concerns the fact that the state-space of the system grows exponentially with the number of agents present. T…