Closed-loop analysis of vision-based autonomous systems: A case study CS Păsăreanu, R Mangal, D Gopinath, S Getir Yaman, C Imrie, ... International Conference on Computer Aided Verification, 289-303, 2023 | 13 | 2023 |
Discrete-event controller synthesis for autonomous systems with deep-learning perception components R Calinescu, C Imrie, R Mangal, GN Rodrigues, C Păsăreanu, ... arXiv preprint arXiv:2202.03360, 2022 | 10 | 2022 |
The DIAMOND model: deep recurrent neural networks for self-organizing robot control SC Smith, R Dharmadi, C Imrie, B Si, JM Herrmann Frontiers in Neurorobotics 14, 62, 2020 | 5 | 2020 |
Self-organisation of spatial behaviour in a kilobot swarm C Imrie, JM Herrmann Biomimetic and Biohybrid Systems: 6th International Conference, Living …, 2017 | 3 | 2017 |
The paradox of choice in evolving swarms: information overload leads to limited sensing CC Imrie, JM Herrmann, O Witkowski Proceedings of the Genetic and Evolutionary Computation Conference, 22-30, 2021 | 2 | 2021 |
Analyzing and Debugging Normative Requirements via Satisfiability Checking N Feng, L Marsso, S Getir Yaman, Y Baatartogtokh, R Ayad, VO De Mello, ... Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 1 | 2024 |
Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components R Calinescu, C Imrie, R Mangal, GN Rodrigues, C Păsăreanu, ... IEEE Transactions on Software Engineering, 2024 | | 2024 |
Formal Synthesis of Uncertainty Reduction Controllers M Carwehl, C Imrie, T Vogel, G Rodrigues, R Calinescu, L Grunske arXiv preprint arXiv:2401.17187, 2024 | | 2024 |
Bayesian learning for the robust verification of autonomous robots X Zhao, S Gerasimou, R Calinescu, C Imrie, V Robu, D Flynn Communications Engineering 3 (1), 18, 2024 | | 2024 |
Aloft: Self-Adaptive Drone Controller Testbed CC Imrie, R Howard, D Thuremella, NM Proma, T Pandey, PBW Lewinska, ... SEAMS'24: Proceedings of the 19th Symposium on Software Engineering for …, 2024 | | 2024 |
Robustness of interaction control in robot swarms CC Imrie The University of Edinburgh, 2021 | | 2021 |
EDCC 2022 M Asplund, J Boydens, S Burton, R Calinescu, A Casimiro, M Cinque, ... | | |
Subreviewers SEAMS 2022 C Adriano, L Beierlieb, M Camilli, H Damirchi, P Donta, T Dürschmid, ... | | |
EdinBots Team Description Paper for Rescue Simulation League 2018 C Imrie, H Sardinha, I Keller, S Jedrzejczyk, S Duncan, V Bharti | | |
Self-Organised Transitions in Swarms with Turing Patterns C Imrie, JM Herrmann | | |