Michael Winikoff. How Testable Are BDI Agents? An Analysis of Branch Coverage. In Nardine Osman, Carles Sierra, editors, Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Best Papers - , Singapore, Singapore, May 9-10, 2016, Revised Selected Papers. Volume 10002 of Lecture Notes in Computer Science, pages 90-106, 2016. [doi]
Abstract is missing.