Research Seminar Quantitative Logics and Automata
The lecture website is available at https://lat.inf.tu-dresden.de/quantla/index.php/study-programme/research-seminar/ss-2021.