Чеботарев А. Н.
Использование согласования логических спецификаций автоматов при решении игровых задач

Отмечено, что игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач рассмотрен автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличаются от тех, которые используются в игровом контексте. Показано, как эти методы можно применять для синтеза выигрышной стратегии в игре двух лиц, не связанной с проектированием реактивных систем.

PDF

Бібліографічний опис:
Чеботарев А. Н.  Использование согласования логических спецификаций автоматов при решении игровых задач. Кибернетика и системный анализ. 2014. Т. 50, № 4. С. 3-13. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000412693