Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Dennis, L. A., Fisher, M., Lincoln, N., Lisitsa, A., & Veres, S. M. Automated Software Engineering, 2014.
bibtex   
@article{DennisFLLV14,
	Author = {Louise A. Dennis and Michael Fisher and Nicholas Lincoln and Alexei Lisitsa and Sandor M. Veres},
	Date-Added = {2016-01-21 13:32:00 +0000},
	Date-Modified = {2016-01-21 13:35:59 +0000},
	Journal = {{Automated Software Engineering}},
	Pages = {1--55},
	Title = {{Practical Verification of Decision-Making in Agent-Based Autonomous Systems}},
	Year = {2014}}

Downloads: 0