О стохастическом программном синтезе

Рассматривается дифференциальная игра в классе частично-программных стратегий, когда показатель качества является функционалом от траектории на конечные моменты времени. Оптимальные стратегии строятся методом стохастического программного синтеза, описанным в [1]. Доказывается, что стохастический частично-программный максимин является ценой соответствующей позиционной дифференциальной игры.