Agent systems verification : systematic literature review and mapping

Najwa Abu Bakar, Ali Selamat. Agent systems verification : systematic literature review and mapping. Appl. Intell., 48(5):1251-1274, 2018. [doi]

Abstract

Abstract is missing.