Kashif Saghar
Papers
2
Total Citations
7
H-Index
2
About
No biography available yet.
Research Focus
Formal verification2 · 7 citations
Computer science2 · 7 citations
Software engineering2 · 7 citations
Robot2 · 7 citations
Programming language2 · 7 citations
Artificial intelligence2 · 7 citations
Probabilistic logic1 · 5 citations
Human–computer interaction1 · 2 citations
Model checking1 · 2 citations
Formal methods1 · 2 citations
Firefighting1 · 2 citations
Engineering1 · 2 citations
Key Achievements
2
H-Index
2
Papers
7
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Formal modelling and verification approach for improving probabilistic behaviour of Robot Swarms
5 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Capital University of Science and Technology
Top Papers
- 1
- 2
Key Collaborators
Not generated yet