Ryan Fraser Kirwan

University of Glasgow

论文数

2

总引用数

9

H-Index

2

关于

暂无简介。

研究焦点

Theoretical computer science2 · 9 次引用
Artificial intelligence2 · 9 次引用
Computer science2 · 9 次引用
Model checking2 · 9 次引用
Programming language2 · 9 次引用
Promela2 · 9 次引用
Robot2 · 9 次引用
Abstraction2 · 9 次引用
Formal language1 · 6 次引用
Formal methods1 · 6 次引用
Formal specification1 · 6 次引用
Formal verification1 · 6 次引用

主要成就

2
H 指数
2
论文
9
总引用数
5
篇均引用
🏆 最高被引论文
Formal Modeling of Robot Behavior with Learning
6 次引用 · 2013
📈 最高产年份: 2013 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Glasgow

代表论文

  1. 1
    Formal Modeling of Robot Behavior with Learning
    6 次引用 · 2013
  2. 2
    Abstraction for model checking robot behaviour
    3 次引用 · 2011

主要合作者

AMAlice Miller2 篇合著论文PDPaolo Di Prodi1 篇合著论文BPBernd Porr1 篇合著论文
尚未生成