Calum Imrie

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Controller Synthesis

Bayesian Learning

Recurrent Neural Networks

Top Venues

Frontiers Neurorobotics

Publications

Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. CoRR (2024)
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE (2024)
Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. 50 (6) (2024)
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
Calum Imrie, Rhys Howard, Divya Thuremella, Nawshin Mannan Proma, Tejas Pandey, Paulina Lewinska, Ricardo Cannizzaro, Richard Hawkins, Colin Paterson, Lars Kunze, Victoria J. Hodge
Aloft: Self-Adaptive Drone Controller Testbed. SEAMS@ICSE (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. CoRR (2024)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR (2023)
Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR (2023)
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR (2022)
Simón C. Smith, Richard Dharmadi, Calum Imrie, Bailu Si, J. Michael Herrmann
The DIAMOND Model: Deep Recurrent Neural Networks for Self-Organizing Robot Control. Frontiers Neurorobotics 14 (2020)
Calum Imrie, J. Michael Herrmann
Self-organisation of Spatial Behaviour in a Kilobot Swarm. Living Machines (2017)