Michael Winikoff, Stephen Cranefield. On the Testability of BDI Agent Systems. J. Artif. Intell. Res. (JAIR), 51:71-131, 2014. [doi]
@article{WinikoffC14,
title = {On the Testability of BDI Agent Systems},
author = {Michael Winikoff and Stephen Cranefield},
year = {2014},
doi = {10.1613/jair.4458},
url = {http://dx.doi.org/10.1613/jair.4458},
researchr = {https://researchr.org/publication/WinikoffC14},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {51},
pages = {71-131},
}