Natalya Olegovna Garanina, Elena A. Sidorova. An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution. Automatic Control and Computer Sciences, 51(7):498-506, 2017. [doi]
@article{GaraninaS17,
title = {An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution},
author = {Natalya Olegovna Garanina and Elena A. Sidorova},
year = {2017},
doi = {10.3103/S0146411617070069},
url = {https://doi.org/10.3103/S0146411617070069},
researchr = {https://researchr.org/publication/GaraninaS17},
cites = {0},
citedby = {0},
journal = {Automatic Control and Computer Sciences},
volume = {51},
number = {7},
pages = {498-506},
}