A formal approach for the verification of multiagent plans based on model checking and Petri nets
L.D. da Silva · 2004
In this paper we introduce formal verification guidelines in order to validate the execution of agent plans for multiagent systems based on Hierarchical Colored Petri Nets and model checking. We conceptually introduce the guidelines then apply them for a multiagent intelligent tutoring system planning verification.