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 | 18 | 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 |
Aloft: Self-adaptive drone controller testbed C Imrie, R Howard, D Thuremella, NM Proma, T Pandey, P Lewinska, ... Proceedings of the 19th International Symposium on Software Engineering for …, 2024 | 2 | 2024 |
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 | 2 | 2024 |
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 |
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 | 1 | 2024 |
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding D Bethell, S Gerasimou, R Calinescu, C Imrie arXiv preprint arXiv:2405.18180, 2024 | | 2024 |
Formal Synthesis of Uncertainty Reduction Controllers M Carwehl, C Imrie, T Vogel, G Rodrigues, R Calinescu, L Grunske Proceedings of the 19th International Symposium on Software Engineering for …, 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 |
Robustness of interaction control in robot swarms CC Imrie The University of Edinburgh, 2021 | | 2021 |
SEAMS 2024 A Russo, M Carwehl, C Imrie, R Calinescu, L Grunske, G Filippone, ... | | |
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 | | |