Suresh Jeyaraman

Defence Academy of the United Kingdom, Cranfield University

论文数

2

总引用数

25

H-Index

2

关于

暂无简介。

研究焦点

Theoretical computer science2 · 25 次引用
Artificial intelligence2 · 25 次引用
Computer science2 · 25 次引用
Kripke structure2 · 25 次引用
Linear temporal logic2 · 25 次引用
Liveness2 · 25 次引用
Model checking2 · 25 次引用
Programming language2 · 25 次引用
Robot2 · 25 次引用
A priori and a posteriori1 · 19 次引用
Set (abstract data type)1 · 19 次引用
Systems engineering1 · 19 次引用

主要成就

2
H 指数
2
论文
25
总引用数
13
篇均引用
🏆 最高被引论文
Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
19 次引用 · 2006
📈 最高产年份: 2006 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: Defence Academy of the United Kingdom, Cranfield University

代表论文

  1. 1
    Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
    19 次引用 · 2006
  2. 2
    Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic
    6 次引用 · 2005

主要合作者

ATAntonios Tsourdos2 篇合著论文BWBrian White2 篇合著论文RŻRafał Żbikowski1 篇合著论文RŻR. Żbikowski1 篇合著论文
尚未生成