In this work, we extended Concurrent Game Structures with agents' abilities and studied the semantics of ATLK* under this new system model. Furthermore, we gave model checking algorithms for ATLK/ATLK*, and implemented them as a prototype tool named MCMAS_ACGS based on MCMAS Model checker from Lomuscio et al.
songfu1983/MCMAS-ACGS
Releases
No releases published
Languages
- C 46.8%
- C++ 27.0%
- HTML 24.4%
- Makefile 0.6%
- JavaScript 0.6%
- Roff 0.2%
- Other 0.4%