Davydov A.   Larionov A.   Terekhin I.  

Synthesis of plans in multi-agent system using the method of positively constructed formulas

Reporter: Davydov A.