A COMPARISON OF MULTI-AGENT STATE-SPACE EXPLORATION APPROACHES FOR THE VERIFICATION OF MIXED AND PARTIALLY OBSERVABLE DOMAINS Статья Novikova G., Azofeifa E. CEUR Workshop Proceedings. CEUR-WS. Том 2413. 2019.
