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) - 12:28, 15 November 2021
- * [[User:Sven|Sven Dziadek]]2 KB (246 words) - 18:01, 8 May 2023
- | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier author = <nowiki>{</nowiki>Sven Dziadek and Uli Fahrenberg and Philipp2 KB (313 words) - 16:09, 12 July 2023
- | [[User:Sven|Sven Dziadek]], post-doc || sven-at-lrde.epita.fr ||6 KB (678 words) - 13: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) - 17:30, 4 December 2022