Michael Winikoff, Louise Dennis, Michael Fisher. Slicing Agent Programs for More Efficient Verification. In Danny Weyns, Viviana Mascardi, Alessandro Ricci, editors, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Volume 11375 of Lecture Notes in Computer Science, pages 139-157, Springer, 2018. [doi]
Abstract is missing.