Showing 2025 · cs.MAShow all
2 papers · 2 filters
cs.MA2025
Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
Wojciech Jamroga, Damian Kurpiewski, Łukasz Mikulski
Model checking of strategic abilities is a notoriously hard problem, even more so in the realistic case of agents with imperfect information, acting in a stochastic environment. As…
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…