Savas Konur

University of Liverpool, University of Bradford, University of Sheffield

论文数

5

总引用数

151

H-Index

4

关于

暂无简介。

研究焦点

Computer science5 · 151 次引用
Artificial intelligence3 · 126 次引用
Swarm behaviour2 · 122 次引用
Swarm robotics2 · 122 次引用
Robot2 · 122 次引用
Probabilistic logic2 · 122 次引用
Software engineering3 · 120 次引用
Distributed computing2 · 100 次引用
Software deployment1 · 95 次引用
Engineering2 · 47 次引用
Systems engineering2 · 47 次引用
Machine learning2 · 31 次引用

主要成就

4
H 指数
5
论文
151
总引用数
30
篇均引用
🏆 最高被引论文
Analysing robot swarm behaviour via probabilistic model checking
95 次引用 · 2011
📈 最高产年份: 2011 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Liverpool, University of Bradford, University of Sheffield

代表论文

  1. 1
    Analysing robot swarm behaviour via probabilistic model checking
    95 次引用 · 2011
  2. 2
    Formal Verification of Probabilistic Swarm Behaviours
    27 次引用 · 2010
  3. 3
    Technologies for design-build-test-learn automation and computational modelling across the synthetic biology workflow: a review
    20 次引用 · 2024
  4. 4
    A roadmap to pervasive systems verification
    5 次引用 · 2014
  5. 5
    Learning Decision Trees for Action Selection in Soccer Agents
    4 次引用 · 2004

主要合作者

MFMichael Fisher3 篇合著论文CDClare Dixon2 篇合著论文RORichard Oliver Matzko1 篇合著论文
尚未生成