Items where authors include "Imrie, Calum Corrie"

Article

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. pp. 1374-1395. ISSN 0098-5589

Zhao, Xingyu, Gerasimou, Simos, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2024) Bayesian Learning for the Robust Verification of Autonomous Robots. Communications Engineering. 18. ISSN 2731-3395

Proceedings Paper

Beedle, Joel, Imrie, Calum Corrie and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2024) SALSA: Swarm Algorithm Simulator. In: 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems - ACSOS 2024. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 16-20 Sep 2024. IEEE , DNK .

Imrie, Calum Corrie, Howard, Rhys, Thuremella, Divya et al. (8 more authors) (2024) Aloft: Self-Adaptive Drone Controller Testbed. In: SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Carwehl, Marc, Imrie, Calum Corrie, Vogel, Thomas et al. (3 more authors) (2024) Formal Synthesis of Uncertainty Reduction Controllers. In: 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Păsăreanu, Corina S., Mangal, Ravi, Gopinath, Divya et al. (3 more authors) (2023) Closed-loop Analysis of Vision-based Autonomous Systems:A Case Study. In: Enea, C. and Lal, A., (eds.) Computer Aided Verification. CAV 2023. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 289-303.