An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations | IEEE Conference Publication | IEEE Xplore