Calum Imrie

According to our database, Calum Imrie authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Synthesis of Uncertainty Reduction Controllers.

Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske

CoRR, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

CoRR, 2024

2023

Bayesian Learning for the Robust Verification of Autonomous Robots.

Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn

CoRR, 2023

Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

CoRR, 2022

2021

The paradox of choice in evolving swarms: information overload leads to limited sensing.

Calum C. Imrie, J. Michael Herrmann, Olaf Witkowski

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

The DIAMOND Model: Deep Recurrent Neural Networks for Self-Organizing Robot Control.

Simón C. Smith, Richard Dharmadi, Calum Imrie, Bailu Si, J. Michael Herrmann

Frontiers Neurorobotics, 2020

2017

Self-organisation of Spatial Behaviour in a Kilobot Swarm.

Calum Imrie, J. Michael Herrmann

Proceedings of the Biomimetic and Biohybrid Systems - 6th International Conference, 2017