В данной работе предлагаются эффективные методы учета примеров поведения при синтезе автоматных моделей по темпоральным формулам через сведение к задачи о выполнимости булевой формулы.

Давлетшин Р.О., Чивилихин Д.С., Закирзянов И.Т. (науч. рук. Ульянцев В.И.) Разработка эффективных методов учета примеров поведения при синтезе автоматных моделей по темпоральным формулам // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/1353