Terekhin, Ivan

Report

• Davydov A.^*, Larionov A.^**, Terekhin I.^**
  Synthesis of plans in multi-agent system using the method of positively constructed formulas
  ^*Institute for System Dynamics and Control Theory of SB RAS (Иркутск ), Russia
  ^**Irkutsk State University (Irkutsk), Russia