| Occlusion-based cooperative transport with a swarm of miniature mobile robots J Chen, M Gauci, W Li, A Kolling, R Groß IEEE Transactions on Robotics 31 (2), 307-321, 2015 | 212 | 2015 |
| Self-organized aggregation without computation M Gauci, J Chen, W Li, TJ Dodd, R Groß The International Journal of Robotics Research 33 (8), 1145-1161, 2014 | 183 | 2014 |
| RoboChart: modelling and verification of the functional behaviour of robotic applications A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock Software & Systems Modeling 18 (5), 3097-3149, 2019 | 131 | 2019 |
| Clustering objects with robots that do not compute M Gauci, J Chen, W Li, TJ Dodd, R Groß Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 95 | 2014 |
| Automatic property checking of robotic applications A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 55 | 2017 |
| Turing learning: a metric-free approach to inferring behavior and its application to swarms W Li, M Gauci, R Groß Swarm Intelligence 10 (3), 211-243, 2016 | 54 | 2016 |
| Verified simulation for robotics A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ... Science of Computer Programming 174, 1-37, 2019 | 50 | 2019 |
| The ARE Robot Fabricator: How to (Re) produce Robots that Can Evolve in the Real World MF Hale, E Buchanan, AF Winfield, J Timmis, E Hart, AE Eiben, M Angus, ... The 2018 Conference on Artificial Life: A Hybrid of the European Conference …, 2019 | 48 | 2019 |
| The Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform AG Millard, R Joyce, JA Hilder, C Fleşeriu, L Newbrook, W Li, LJ McDaid, ... 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 34 | 2017 |
| Sample and time efficient policy learning with CMA-ES and Bayesian Optimisation LK Le Goff, E Buchanan, E Hart, AE Eiben, W Li, M de Carlo, MF Hale, ... Artificial Life Conference Proceedings, 432-440, 2020 | 26 | 2020 |
| Generalizing GANs: A Turing Perspective R Groß, Y Gu, W Li, M Gauci Advances in Neural Information Processing Systems, 6316-6326, 2017 | 25 | 2017 |
| Hardware design for autonomous robot evolution MF Hale, M Angus, E Buchanan, W Li, R Woolley, LK Le Goff, M De Carlo, ... 2020 IEEE Symposium Series on Computational Intelligence (SSCI), 2140-2147, 2020 | 24 | 2020 |
| Bootstrapping artificial evolution to design robots for autonomous fabrication E Buchanan, LK Le Goff, W Li, E Hart, AE Eiben, M De Carlo, AF Winfield, ... Robotics 9 (4), 106, 2020 | 23 | 2020 |
| Morpho-evolution with learning using a controller archive as an inheritance mechanism LK Le Goff, E Buchanan, E Hart, AE Eiben, W Li, M De Carlo, AF Winfield, ... IEEE Transactions on Cognitive and Developmental Systems, 2022 | 22 | 2022 |
| From Formalised State Machines to Implementations of Robotic Controllers W Li, A Miyazawa, P Ribeiro, A Cavalcanti, J Woodcock, J Timmis Distributed Autonomous Robotic Systems, 517-529, 2018 | 22 | 2018 |
| Modelling and Verification of Timed Robotic Controllers P Ribeiro, A Miyazawa, W Li, A Cavalcanti, J Timmis International Conference on Integrated Formal Methods, 18-33, 2017 | 21 | 2017 |
| RoboChart: a state-machine notation for modelling and verification of mobile and autonomous robots A Miyazawa, P Ribeiro, W Li, ALC Cavalcanti, J Timmis, JCP Woodcock Tech. Rep., 2016 | 19 | 2016 |
| A coevolutionary approach to learn animal behavior through controlled interaction W Li, M Gauci, R Groß Proceedings of the 15th annual conference on Genetic and evolutionary …, 2013 | 18 | 2013 |
| Modelling and Verification for Swarm Robotics A Cavalcanti, A Miyazawa, A Sampaio, W Li, P Ribeiro, J Timmis International Conference on Integrated Formal Methods (IFM), 1-19, 2018 | 13 | 2018 |
| Evolutionary Action Selection for Gradient-based Policy Learning Y Ma, T Liu, B Wei, Y Liu, K Xu, W Li arXiv preprint arXiv:2201.04286, 2022 | 10 | 2022 |
Jon TimmisProfessor of Intelligent and Adaptive Systems, University of SunderlandVerified email at sunderland.ac.uk
