Simon Miles

King's College London

论文数

3

总引用数

21

H-Index

2

关于

暂无简介。

研究焦点

Computer science3 · 21 次引用
Artificial intelligence2 · 16 次引用
Theoretical computer science2 · 16 次引用
Correctness2 · 16 次引用
Focus (optics)2 · 16 次引用
Formal verification2 · 16 次引用
TRACE (psycholinguistics)2 · 16 次引用
Swarm robotics2 · 16 次引用
Machine learning2 · 16 次引用
Multi-agent system1 · 14 次引用
Model checking1 · 14 次引用
Programming language1 · 14 次引用

主要成就

2
H 指数
3
论文
21
总引用数
7
篇均引用
🏆 最高被引论文
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
14 次引用 · 2015
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: King's College London

代表论文

  1. 1
    Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
    14 次引用 · 2015
  2. 2
    Quantitative analysis of multi-agent systems through statistical verification of simulation traces
    5 次引用 · 2018
  3. 3
    Quantitative analysis of multi-agent systems through statistical verification of simulation traces
    2 次引用 · 2018

主要合作者

GFG. Flucke3 篇合著论文PMPeter McBurney3 篇合著论文BHBenjamin Herd3 篇合著论文

联系与链接

可合作
内容已生成 · 13 天前