Special

Search results

Results 1 – 2 of 2
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  
  
  
  
  
  
  • |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