A COMPARISON OF MULTI-AGENT STATE-SPACE EXPLORATION APPROACHES FOR THE VERIFICATION OF MIXED AND PARTIALLY OBSERVABLE DOMAINS ArticleNovikova G., Azofeifa E.CEUR Workshop Proceedings. Том 2413. 2019.
