Ryan Fraser Kirwan
Papers
2
Total Citations
9
H-Index
2
About
No biography available yet.
Research Focus
Theoretical computer science2 · 9 citations
Artificial intelligence2 · 9 citations
Computer science2 · 9 citations
Model checking2 · 9 citations
Programming language2 · 9 citations
Promela2 · 9 citations
Robot2 · 9 citations
Abstraction2 · 9 citations
Formal language1 · 6 citations
Formal methods1 · 6 citations
Formal specification1 · 6 citations
Formal verification1 · 6 citations
Key Achievements
2
H-Index
2
Papers
9
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Formal Modeling of Robot Behavior with Learning
6 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Glasgow
Top Papers
- 1Formal Modeling of Robot Behavior with Learning6 citations · 2013
- 2Abstraction for model checking robot behaviour3 citations · 2011
Key Collaborators
Not generated yet