Verification of multiple agent knowledge-based systems | IEEE Conference Publication | IEEE Xplore