Calum Imrie

University of York, University of Edinburgh

论文数

7

总引用数

50

H-Index

5

关于

暂无简介。

研究焦点

Artificial intelligence7 · 50 次引用
Computer science7 · 50 次引用
Software engineering2 · 23 次引用
Software2 · 23 次引用
Robot3 · 19 次引用
Artificial neural network3 · 19 次引用
Deep learning3 · 19 次引用
Control engineering3 · 18 次引用
Distributed computing3 · 18 次引用
Controller (irrigation)3 · 18 次引用
Machine learning2 · 17 次引用
Human–computer interaction2 · 15 次引用

主要成就

5
H 指数
7
论文
50
总引用数
7
篇均引用
🏆 最高被引论文
Analyzing and Debugging Normative Requirements via Satisfiability Checking
13 次引用 · 2024
📈 最高产年份: 2024 (4 论文)
🤝 主要合作者: 28
🏛 所属机构: University of York, University of Edinburgh

代表论文

  1. 1
    Analyzing and Debugging Normative Requirements via Satisfiability Checking
    13 次引用 · 2024
  2. 2
    Bayesian learning for the robust verification of autonomous robots
    11 次引用 · 2024
  3. 3
    Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
    10 次引用 · 2024
  4. 4
    The DIAMOND Model: Deep Recurrent Neural Networks for Self-Organizing Robot Control
    6 次引用 · 2020
  5. 5
    Formal Synthesis of Uncertainty Reduction Controllers
    5 次引用 · 2024
  6. 6
    Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
    3 次引用 · 2022
  7. 7
    Self-organisation of Spatial Behaviour in a Kilobot Swarm
    2 次引用 · 2017

主要合作者

RCRadu Călinescu5 篇合著论文GNGenaína Nunes Rodrigues3 篇合著论文CSCorina S. Păsăreanu2 篇合著论文JMJ. Michael Herrmann2 篇合著论文RMRavi Mangal2 篇合著论文GVGricel Vázquez2 篇合著论文MAMisael Alpizar Santana2 篇合著论文MCMarsha Chećhik1 篇合著论文SCSimón C. Smith1 篇合著论文TVThomas Vogel1 篇合著论文RDRichard Dharmadi1 篇合著论文XZXingyu Zhao1 篇合著论文YBYesugen Baatartogtokh1 篇合著论文LMLina Marsso1 篇合著论文ISIsobel Standen1 篇合著论文ISIoannis Stefanakos1 篇合著论文DFDavid Flynn1 篇合著论文BSBailu Si1 篇合著论文MCMarc Carwehl1 篇合著论文VOVictoria Oldemburgo de Mello1 篇合著论文
尚未生成