A Verification Framework for Agent Knowledge.

Jin Song Dong, Yuzhang Feng, Ho-fung Leung

Browse the full ICFEM paper archive.