Michael Winikoff. How Testable are BDI Agents? An Analysis of Branch Coverage. In Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern, editors, Engineering Multi-Agent Systems - 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers. Volume 10093 of Lecture Notes in Computer Science, pages 210-226, Springer, 2016. [doi]
Abstract is missing.