An Approach to Model Checking of Multi-agent Data Analysis | Read Paper on Bytez