| Verified simulation for robotics. | 1 | 0.41 | 2019 |
| RoboChart: modelling and verification of the functional behaviour of robotic applications | 2 | 0.37 | 2019 |
| Modelling And Verification For Swarm Robotics | 2 | 0.37 | 2018 |
| Generalizing GANs: A Turing Perspective. | 2 | 0.36 | 2017 |
| Modelling and Verification of Timed Robotic Controllers. | 4 | 0.40 | 2017 |
| From Formalised State Machines to Implementations of Robotic Controllers | 3 | 0.38 | 2016 |
| Occlusion-Based Cooperative Transport with a Swarm of Miniature Mobile Robots | 18 | 0.80 | 2015 |
| Self-organized aggregation without computation | 29 | 1.08 | 2014 |
