Follow
Calum Imrie
Calum Imrie
Research & Innovation Associate, Centre for Assuring Autonomy (University of York)
Verified email at york.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
182023
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
102022
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
52020
Self-organisation of spatial behaviour in a kilobot swarm
C Imrie, JM Herrmann
Biomimetic and Biohybrid Systems: 6th International Conference, Living …, 2017
32017
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
22024
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
22024
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
22021
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
12024
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
The system can't perform the operation now. Try again later.
Articles 1–17