NewsEntry (2021/09/02)


Title LRDE’s Spot team is happy to welcome another member, Sven Dziadek, for a one-year postdoc.
Sub-Title Sven recently completed his PhD at Leipzig University where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to Spot.
Date 2021/09/02