Чеботарев, А.Н.
(Кибернетика и системный анализ, 2014)
Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов ...