Ning Wang, David V. Pynadath, Stacy C. Marsella. Toward Automatic Verification of Multiagent Systems for Training Simulations. In Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty Panourgia, editors, Intelligent Tutoring Systems - 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings. Volume 7315 of Lecture Notes in Computer Science, pages 151-161, Springer, 2012. [doi]
Abstract is missing.