An exciting invitation from MODELS2022 to present our SoSym journal paper there

Last updated on Oct 26, 2022

SoSyM Journal-first
Our SoSym paper: Probabilistic modelling and verification using RoboChart and PRISM
MODELS2022

Thanks to SoSyM and MODELS2022.

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.