Garanina N., Sidorova E. A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // # 8, 2016