Engineering Robotic Swarms
The link to this event can be found here. In the early stage of the preparation for the talk, I have developed several versions of the frog jumper solver in CSP to demonstrate the solutions for different board settings and rules.
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.