Toward Automatic Verification of Multiagent Systems for Training Simulations.

Ning Wang, David V. Pynadath, Stacy C. Marsella

Browse the full ITS paper archive.