Search Results for author: Elena Sidorova

Found 1 papers, 0 papers with code

An Approach to Model Checking of Multi-agent Data Analysis

no code implementations14 Nov 2014 Natalia Garanina, Eugene Bodin, Elena Sidorova

The paper presents an approach to verification of a multi-agent data analysis algorithm.

Cannot find the paper you are looking for? You can Submit a new open access paper.