Kangfeng Ye has been interviewed for the Scholarly Communication podcast about writing the paper “Probabilistic modelling and verification using RoboChart and PRISM”, in an episode titled “Use Sequential Internal Review to Improve Your Next Submission”.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
