DV Dzung, A Ohnishi - 2009 seventh iEEE international …, 2009 - ieeexplore.ieee.org
This paper addresses the issue of guaranteeing the correctness of fault diagnosis
mechanisms in multi-agent systems. We propose an automated approach to verifying the …