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