A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems | IEEE Conference Publication | IEEE Xplore