Dynamic verification of hierarchical multi-agent plans

2017 ◽  
Vol 13 (2) ◽  
pp. 113-142 ◽  
Author(s):  
Said Brahimi ◽  
Ramdane Maamri ◽  
Zaidi Sahnoun
2014 ◽  
Vol 134 (10) ◽  
pp. 1515-1523
Author(s):  
Akihiro Ogawa ◽  
Kazunari Maki ◽  
Kiyoshi Hata ◽  
Yasunori Takeuchi ◽  
Fumio Ishikawa

2013 ◽  
Vol 133 (9) ◽  
pp. 1652-1657 ◽  
Author(s):  
Takeshi Nagata ◽  
Kosuke Kato ◽  
Masahiro Utatani ◽  
Yuji Ueda ◽  
Kazuya Okamoto ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document