Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Dennis, L. A.; Fisher, M.; Lincoln, N.; Lisitsa, A.; and 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