Toward Automatic Verification of Multiagent Systems for Training Simulations

“Toward Automatic Verification of Multiagent Systems for Training Simulations” by Ning Wang, David Pynadath, and Stacy Marsella. In Proceedings of the International Conference on Intelligent Tutoring Systems, (Greece), 2012, pp. 151-161.

BibTeX entry:

@inproceedings{WangITS12,
   author = {Ning Wang and David Pynadath and Stacy Marsella},
   title = {Toward Automatic Verification of Multiagent Systems for
	Training Simulations},
   booktitle = {Proceedings of the International Conference on Intelligent
	Tutoring Systems},
   pages = {151-161},
   address = {Greece},
   year = {2012},
   url = {https://stacymarsella.org/publications/pdf/its12.pdf}
}

(This webpage was created with bibtex2web.)

Back to Stacy Marsella.