E-Mail: 493111@mail.muni.cz
ORCID:
Address:
Faculty of Informatics Masaryk University Botanická 68a 602 00 Brno / Česká republika
Tereza Kinská
Office: C504
E-Mail: 493111@mail.muni.cz
ORCID:
Address:
E-Mail: 493111@mail.muni.cz
ORCID:
Address:
Since 2019, I have been a student at the FI MUNI.
Throughout my studies, I was a member of several labs, the last of which is LiVeLab which I joined in summer 2025.
My research interests are mainly connected to logics (mostly LTL and MTL) and automata over infinite words.
Research Areas
Tools
SemML
In this project we develop learning-based exploration heuristics for LTL Synthesis that exploit the semantic labelling of the underlying Automaton/Game.
