Models of Distributed Systems Testing Based on Energy Consumption in Behavior. - Oleksandr Martynyuk; Lyudmila Sugak; Hanna Stepova; Viktor Antoniuk; Igor Mileiko (IntelITSIS, 2021)

Model for Verification of Intelligence of Multiagent Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Anatoliy Sachenko; Kostiantyn Zashcholkin; Igor Mileiko (IntelITSIS, 2022)

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)