An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking
Rui C. Botelho A. S., Aline Andrade, Augusto Loureiro da Costa, Frederico Barboza · 2013
In this paper we present an experiment of model checking which consists of the verification of plans of a multi-agent system for simulated robot soccer. This system is of considerable complexity because it is concurrent, nondeterministic and with partial vision of the environment. Some solutions adopted relative to modeling and process of verification to circumvent state space explosion are reported.