Анализ множеств достижимости и оценивание стратегий управления в моделях DICEтезисы доклада