Mahsa Ghasemi
Papers
4
Total Citations
14
H-Index
2
About
No biography available yet.
Research Focus
Computer science4 · 14 citations
Artificial intelligence3 · 12 citations
Robot3 · 12 citations
Mathematics3 · 12 citations
Markov process2 · 10 citations
Markov decision process2 · 10 citations
Theoretical computer science2 · 9 citations
Model checking2 · 9 citations
Programming language2 · 9 citations
Set (abstract data type)2 · 9 citations
Büchi automaton1 · 7 citations
Counterexample1 · 7 citations
Key Achievements
2
H-Index
4
Papers
14
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Counterexamples for Robotic Planning Explained in Structured Language
7 citations · 2018
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: The University of Texas at Austin
Top Papers
- 1Counterexamples for Robotic Planning Explained in Structured Language7 citations · 2018
- 2
- 3A Barrier Pair Method for Safe Human-Robot Shared Autonomy2 citations · 2021
- 4Maximum Realizability for Linear Temporal Logic Specifications2 citations · 2018
Key Collaborators
Not generated yet