Treffer: Symoblic Model Checking for Multi-Agent Systems Based on ATLE

Title:
Symoblic Model Checking for Multi-Agent Systems Based on ATLE
Authors:
Yu, Qixian, Cao, Zining, Zong, Hui, Zhou, Yuan
Source:
2025 IEEE 5th International Conference on Software Engineering and Artificial Intelligence (SEAI) Software Engineering and Artificial Intelligence (SEAI), 2025 IEEE 5th International Conference on. :389-393 Jun, 2025
Relation:
2025 IEEE 5th International Conference on Software Engineering and Artificial Intelligence (SEAI)
Database:
IEEE Xplore Digital Library