CAN-verify: A Verification Tool For BDI Agents.

Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani

Browse the full IFM paper archive.