Open AccessAn Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution
Author(s) -
Natalia Garanina,
Elena A. Sidorova
Publication year - 2016
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2016-6-703-714
Subject(s) - computer science , theoretical computer science , grammar , abstraction , context (archaeology) , computation , distributed computing , algorithm , paleontology , philosophy , linguistics , epistemology , biology