Probabilistic RoboChart paper receives best paper award at MODELS'22

The paper “Probabilistic modelling and verification using RoboChart and PRISM”, published in the Journal of Software & Systems Modelling (SoSyM), was awarded a best paper award. Kangfeng Ye presented the paper at MODELS’22.