Department of Computer Science

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.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements