Teaching

2021/2022

  • Formal Methods at Work, Gran Sasso Science Institute
    Syllabus: Modelling and Analysis of Probabilistic Systems: Stochastic Process Algebras, Timed Automata, Markov Decision Processes, Queueing Networks. Uncertainty and Learning of quantitative properties. Guidelines on building simulation environments for Cyber-Physical Systems. (link)

2020/2021

  • Formal Methods at Work, Gran Sasso Science Institute
    Syllabus: Stochastic Process Algebras, Markov Decision Processes, Timed Automata, Queueing Networks (link)