Evolving Robot Software and Hardware
The talk about “Evolving Robot Software and Hardware” that is presented by Prof. Gusz Eiben in RoboSoft is very very interesting. It is worth reading the paper “Evolutionary robotics: what, why, and where to”. The project (Autonomous Robot Evolution: Cradle to Grave) (ARE) in York is linked with this talk.
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.