Automated Verification of Multi-Agent Systems. Why, What, and Especially: How?

Automated verification of discrete-state systems has been a hot topic in computer science for over 35 years. The idea found its way into AI and multi-agent systems in late 1990’s, and techniques for v