Model Checking Multi-Agent Systems (Informatica, 2025)
Model Checking Multi-Agent Systems