Follow
Calum Imrie
Calum Imrie
Research Associate, Assuring Autonomy International Programme (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
112023
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
82022
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
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
12021
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking
N Feng, L Marsso, SG Yaman, Y Baatartogtokh, R Ayad, VO de Mello, ...
arXiv preprint arXiv:2401.05673, 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
The system can't perform the operation now. Try again later.
Articles 1–14