CAN-verify: A Verification Tool For BDI Agents. - Mengwei Xu; Thibault Rivoalen; Blair Archibald; Michele Sevegnani (iFM, 2023)