Dynamic verification of hierarchical multi-agent plans-Reference-Cited by-同舟云学术

Dynamic verification of hierarchical multi-agent plans

Published:2017-07-04 Issue:2 Volume:13 Page:113-142
ISSN:1875-9076
Container-title:Multiagent and Grid Systems
language:
Short-container-title:MGS

Author:

Brahimi Said¹,Maamri Ramdane²,Sahnoun Zaidi²

Affiliation:

1. University 8 mai 1945 of Guelma, Guelma, Algeria

2. University of Constantine 2, Constantine, Algeria

Publisher

IOS Press

Subject

General Computer Science

Reference19 articles.

1. R. Alami, F. Robert, F.F. Ingrand and S. Suzuki, Multi-robot cooperation through incremental plan-merging, in: IEEE Int. Conf. on Robotics and Automation, Japan, 1995, pp. 2573–2578.

2. Hierarchical Multi-Agent Plans Using Model-Based Petri Net;Brahimi;International Journal of Agent Technologies and Systems, IGI Global,2013

3. Partially centralized approach for dynamic hierarchical-plans merging;Brahimi;Neurocomputing,2014

4. Modular analysis of Petri nets;Christensen;The Computer Journal,2000

5. B.J. Clement and A.C. Barrett, Continual coordination through shared activities, in: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, ACM, Australia, 2003, pp. 57–64.

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

1. Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems;Multiagent and Grid Systems;2020-04-09

2. A graph transformation based approach for multi-agent systems reorganization;Multiagent and Grid Systems;2020-02-10

3. Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets;Multiagent and Grid Systems;2019-01-18