activity
20202025
most citedPractical Abstraction for Model Checking of Multi-Agent Systems

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.MA2025

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems

Yan Kim, Wojciech Jamroga, Wojciech Penczek +1

Model checking of temporal logics in a well established technique to verify and validate properties of multi-agent systems (MAS). However, practical model checking requires input m…