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]
@inproceedings{VanFTGH18,
title = {Formal Verification of ALICA Multi-agent Plans Using Model Checking},
author = {Thao Nguyen Van and Nugroho Fredivianus and Huu Tam Tran and Kurt Geihs and Thi Thanh Binh Huynh},
year = {2018},
doi = {10.1145/3287921.3287947},
url = {https://doi.org/10.1145/3287921.3287947},
researchr = {https://researchr.org/publication/VanFTGH18},
cites = {0},
citedby = {0},
pages = {351-358},
booktitle = {Proceedings of the Ninth International Symposium on Information and Communication Technology, SoICT 2018, Danang City, Vietnam, December 06-07, 2018},
publisher = {ACM},
isbn = {978-1-4503-6539-0},
}