YorRobots and RoboStar Industry Exhibition
Full details can be found here. The programme can be found here. I am going to have a presentation and a poster for display at the event.
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.