Семинар лаборатории ПОИС: Improvements to Translation of LTL Formula to Buchi Automata // О. Кочетова
В понедельник, 7-го апреля, Ольга Кочетова (студент отделения программной инженерии НИУ ВШЭ) представила доклад на тему: Improvements to Translation of LTL Formula to Buchi Automata.
