NewsEntry (2021/09/02)

From LRDE

Revision as of 13:28, 15 November 2021 by Daniela Becker (talk | contribs) (Created page with "{{News |title=LRDE’s Spot team is happy to welcome another member, Sven Dziadek, for a one-year postdoc. |subtitle=Sven recently completed his PhD at [https://www.uni-le...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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