|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]]
2 KB (246 words) - 19:01, 8 May 2023
| authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
author = <nowiki>{</nowiki>Sven Dziadek and Uli Fahrenberg and Philipp
2 KB (313 words) - 17:09, 12 July 2023
| [[User:Sven|Sven Dziadek]], post-doc || sven-at-lrde.epita.fr ||
6 KB (678 words) - 14:05, 10 March 2022
| authors = Manfred Droste, Sven Dziadek, Werner Kuich
author = <nowiki>{</nowiki>Manfred Droste and Sven Dziadek and Werner Kuich<nowiki>}</nowiki>,
4 KB (552 words) - 18:30, 4 December 2022
