Formal Verification of ALICA Multi-agent Plans Using Model Checking. - Thao Nguyen Van; Nugroho Fredivianus; Huu Tam Tran; Kurt Geihs; Thi Thanh Binh Huynh (SoICT, 2018)

Formal Verification of Multi-agent Plans for Vehicle Platooning. - Thao Nguyen Van; Kurt Geihs (ICCASA/ICTCC, 2020)

Formal verification for ALICA plans. - Thao Nguyen Van (2021)