State-space reduction techniques in agent verification
(2004)
Presentation / Conference Contribution
Bordini, R. H., Fisher, M., Visser, W., Wooldridge, M., Jennings, N. R., Sierra, C., Sonenberg, L., & Tambe, M. (2004, July). State-space reduction techniques in agent verification. Presented at Third International Joint Conference on Autonomous Agents and Multiagent Systems : AAMAS-2004., New York
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The success of model checking as a verification technique for large systems... Read More about State-space reduction techniques in agent verification.