Thao Nguyen Van, Nugroho Fredivianus, Huu Tam Tran, Kurt Geihs, Thi Thanh Binh Huynh. Formal Verification of ALICA Multi-agent Plans Using Model Checking. In Proceedings of the Ninth International Symposium on Information and Communication Technology, SoICT 2018, Danang City, Vietnam, December 06-07, 2018. pages 351-358, ACM, 2018. [doi]
Abstract is missing.