Проєкт розширює можливості взаємодії з конструктором Динамічних лабіринтів. Розпізнавання дошки конструктора з деталями на ній дозволяє перетворити фото конструкції (зібраної в реальному світі) на модель, яку можна аналізувати. Надалі передбачається дослідити обчислюваність, семантику зібраних конструкцій, та їх верифікацію та валідацію відносно задачі. Таке розпізнавання зображень з автоматами та подальший автоматизований аналіз відкриває нові можливості для якісного навчання і контролю вчителем, а також самоконтролю учнями отриманих результатів підчас вивчення теорії автоматів.
Проф., д.ф.м.н. Інге Шванк і к.ф.м.н. Тетяна Жиленко – з Університету м.Кельн
к.ф.м.н. Тарас Панченко, к.ф.м.н. Людмила Омельчук, доктор філософії з математики та статистики Ярослав Терещенко – наставники
Гранадзер Вікторія та Баклан Маргарита – студентки
з Київського національного університету імені Тараса Шевченка
