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…