Formal Verification of ALICA Multi-agent Plans Using Model Checking-Reference-Cited by-同舟云学术

Formal Verification of ALICA Multi-agent Plans Using Model Checking

Published:2018 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Ninth International Symposium on Information and Communication Technology - SoICT 2018
language:
Short-container-title:

Author:

Van Thao Nguyen¹,Fredivianus Nugroho¹,Tran Huu Tam¹,Geihs Kurt¹,Huynh Thi Thanh Binh²

Affiliation:

1. Distributed Systems Group, University of Kassel, Kassel, Germany

2. Hanoi University of Science and Technology, Hanoi, Vietnam

Publisher

ACM Press

Reference18 articles.

1. Flora Amato, Nicola Mazzocca, Francesco Moscato, and Fatos Xhafa. 2018. Multi-agent Collaborative Planning in Smart Environments. In Advances in Intelligent Networking and Collaborative Systems, Leonard Barolli, Isaac Woungang, and Omar Khadeer Hussain (Eds.). Springer International Publishing, Cham, 250--261.

2. Mathilde Arnaud, Veronique Cortier, and Stephanie Delaune. 2014. Modeling and verifying ad hoc routing protocols. Information and Computation 238 (2014), 30--67. https://doi.org/10.1016/j.ic.2014.07.004 Special Issue on Security and Rewriting Techniques.

3. Howard Barringer, Klaus Havelund, and Robert A Morris. 2011. Checking Flight Rules with TraceContract Application of a Scala DSL for Trace Analysis. (2011).

4. Gerd Behrmann, Alexandre David, and Kim G Larsen. 2004. A tutorial on uppaal. In Formal methods for the design of real-time systems. Springer, 200--236.

5. Edmund M Clarke, Orna Grumberg, and Doron Peled. 1999. Model checking.MIT press.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of Multi-agent Plans for Vehicle Platooning;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2021

2. Modeling and verification of contingency resolution strategies for multi-robot missions using temporal logic;International Journal of Advanced Robotic Systems;2019-11-01