Jaroslav Večeřa
Defended master thesis in 2023.
Discrete-Event Systems and Theoretical Computer Science Research Group