Назад к докладам семестра

Радар деэскалации в чатах: конечные автоматы и LTLf-валидация.

Бескончин Максим, Марков Марк, Спиридонов Александр

28 октября 2025 г.
  • Mathematical Logic

Исследовательский доклад в рамках семестра 'Осень 2025' по теме 'Радар деэскалации в чатах: конечные автоматы и LTLf-валидация.'.