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]

@article{BrahimiMS17,
  title = {Dynamic verification of hierarchical multi-agent plans},
  author = {Said Brahimi and Ramdane Maamri and Zaïdi Sahnoun},
  year = {2017},
  doi = {10.3233/MGS-170264},
  url = {https://doi.org/10.3233/MGS-170264},
  researchr = {https://researchr.org/publication/BrahimiMS17},
  cites = {0},
  citedby = {0},
  journal = {Multiagent and Grid Systems},
  volume = {13},
  number = {2},
  pages = {113-142},
}