Profesor Laure Petrucci na Seminarium Instytutowym
10 czerwca 2019 r. na seminarium Instytutowym w IPI PAN swój wykad przedstawiła profesor Laure Petrucci z Uniwersytetu Paryż 13. Profesor Petrucci wygłosiła referat pt. "Parameter Synthesis Algorithms for Parametric Interval Markov Chains".
Streszczenie autorskie wykładu mozna znaleźć tutaj.
Nagranie z przebiegu seminarium znajduje się na portalu Youtube.com.