Dynamic verification of hierarchical multi-agent plans

Said Brahimi, Ramdane Maamri, Zaïdi Sahnoun. Dynamic verification of hierarchical multi-agent plans. Multiagent and Grid Systems, 13(2):113-142, 2017. [doi]

Abstract

Abstract is missing.