![Automated Verification of Multi-Agent Systems. Why, What, and Especially: How? thumbnail](https://apiminio.videolectures.net/vln/lectures/33891/4/en/thumbnail.jpg?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=masoud%2F20241217%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=20241217T050611Z&X-Amz-Expires=604800&X-Amz-SignedHeaders=host&X-Amz-Signature=5278ed9f5a97c4de5ac6a8f09ca706cf2c4e6a5c2763ca8471c3318b544d6994)
Automated Verification of Multi-Agent Systems. Why, What, and Especially: How?
Published on Sep 01, 202317 Views
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