NewsEntry (2021/09/02)
From LRDE
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 |