This talk is linked to our SoSyM paper.
The video recorded for the presentation and played at MODELS2022 is shown below.
You also can find another presentation that I prepare for MODELS2022 with more details about the challenges and how we deal with them below.
Kangfeng (Randall) Ye
Research Associate (Computer Science)
My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.