Suresh Jeyaraman

Defence Academy of the United Kingdom, Cranfield University

Papers

2

Total Citations

25

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
2
Papers
25
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
19 citations · 2006
📈 Most Prolific Year: 2006 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Defence Academy of the United Kingdom, Cranfield University

Top Papers

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

Key Collaborators

ATAntonios Tsourdos2 shared papersBWBrian White2 shared papersRŻRafał Żbikowski1 shared papersRŻR. Żbikowski1 shared papers
Not generated yet