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