A Contribution to the Formal Checking of Multi-Agents Systems | IEEE Conference Publication | IEEE Xplore