Said Brahimi, Ramdane Maamri, Zaïdi Sahnoun. Validation and Verification of Agent and Multi-agent Plans in Dynamic Environment. In Zaïdi Sahnoun, editor, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014. Volume 1294 of CEUR Workshop Proceedings, pages 73-82, CEUR-WS.org, 2014. [doi]
Abstract is missing.