no code implementations • 14 Nov 2014 • Natalia Garanina, Eugene Bodin, Elena Sidorova
The paper presents an approach to verification of a multi-agent data analysis algorithm.