Гнатенко Антон Романович

Публикации в базе данных Math-Net.Ru

1. О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени
   
   Модел. и анализ информ. систем, 28:4 (2021),  356–371
2. О задаче верификации моделей программ для одного расширения логики CTL*
   
   Модел. и анализ информ. систем, 27:4 (2020),  428–441
3. О выразительных возможностях некоторых расширений линейной темпоральной логики
   
   Модел. и анализ информ. систем, 25:5 (2018),  506–524
4. On the model checking of finite state transducers over semigroups
   
   Труды ИСП РАН, 30:3 (2018),  303–324