Development of Verification Model for Intelligence of Multiagent Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Anatoliy Sachenko; Dmitry Martynyuk; Igor Mileiko; Igor Kopytchuk; Grygoriy Hladiy (IDAACS, 2023)