| |
Чеботарев, А. Н.
Использование согласования логических спецификаций автоматов при решении игровых задач [Текст] / А. Н. Чеботарев
// Кибернетика и системный анализ. – 2014. – Т. 50, № 4. – С. 3-13.
Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. |
