External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of ALICA Multi-agent Plans Using Model Checking

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]

Authors

Thao Nguyen Van

This author has not been identified. Look up 'Thao Nguyen Van' in Google

Nugroho Fredivianus

This author has not been identified. Look up 'Nugroho Fredivianus' in Google

Huu Tam Tran

This author has not been identified. Look up 'Huu Tam Tran' in Google

Kurt Geihs

This author has not been identified. Look up 'Kurt Geihs' in Google

Thi Thanh Binh Huynh

This author has not been identified. Look up 'Thi Thanh Binh Huynh' in Google
runs on