Validation and Verification of Joint-Actions in Multi-agent Planning | IEEE Conference Publication | IEEE Xplore