Search results
- |title=LRDE’s [[Spot]] team is happy to welcome another member, Sven Dziadek, for a one-year postdoc. ...automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to [[Spot]].429 bytes (59 words) - 13:28, 15 November 2021
- | [[User:Sven|Sven Dziadek]], post-doc || sven-at-lrde.epita.fr ||6 KB (678 words) - 14:05, 10 March 2022