Kashif Saghar

Capital University of Science and Technology

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. 1
    Formal modelling and verification approach for improving probabilistic behaviour of Robot Swarms
    5 citations · 2017
  2. 2
    Formal Verification and Development of an Autonomous Firefighting Robotic Model
    2 citations · 2019

Key Collaborators

SASaifullah Amin1 shared papersUSUmar Shadab Butt1 shared papersATAnum Tahir1 shared papersUAUsman Asad1 shared papersUSUmar Shahbaz Khan1 shared papersFMFaran Mehmood1 shared papersAEAdnan Elahi1 shared papersHBHarris Bin Khalid1 shared papers
Not generated yet