Suguman Bansal
Papers
2
Total Citations
12
H-Index
2
About
No biography available yet.
Research Focus
Theoretical computer science2 · 12 citations
Computer science2 · 12 citations
Linear temporal logic2 · 12 citations
Programming language2 · 12 citations
Temporal logic2 · 12 citations
Task (project management)1 · 6 citations
Mathematical optimization1 · 6 citations
Mathematics1 · 6 citations
Process (computing)1 · 6 citations
Artificial intelligence1 · 6 citations
Reinforcement learning1 · 6 citations
Satisficing1 · 6 citations
Key Achievements
2
H-Index
2
Papers
12
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Synthesis of coordination programs from linear temporal specifications
6 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Rice University, California University of Pennsylvania
Top Papers
- 1Synthesis of coordination programs from linear temporal specifications6 citations · 2019
- 2Synthesis from Satisficing and Temporal Goals6 citations · 2022
Key Collaborators
Not generated yet