Sriram Sankaranarayanan

University of Colorado Boulder

Papers

9

Total Citations

223

H-Index

5

About

No biography available yet.

Research Focus

Computer science9 · 223 citations
Theoretical computer science7 · 207 citations
Artificial intelligence8 · 195 citations
Mathematics5 · 186 citations
Algorithm4 · 174 citations
Programming language3 · 153 citations
Set (abstract data type)2 · 134 citations
Probabilistic logic2 · 124 citations
Assertion1 · 122 citations
Path (computing)1 · 122 citations
Correctness1 · 122 citations
Interval (graph theory)1 · 122 citations

Key Achievements

5
H-Index
9
Papers
223
Total Citations
25
Avg Citations/Paper
🏆 Most Cited Paper
Static analysis for probabilistic programs
122 citations · 2013
📈 Most Prolific Year: 2012 (3 Papers)
🤝 Key Collaborators: 18
🏛 Institutions: University of Colorado Boulder

Top Papers

  1. 1
    Static analysis for probabilistic programs
    122 citations · 2013
  2. 2
    On the minimal revision problem of specification automata
    30 citations · 2015
  3. 3
    On the revision problem of specification automata
    28 citations · 2012
  4. 4
    Invariant Generation for Parametrized Systems Using Self-reflection
    18 citations · 2012
  5. 5
    Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks
    12 citations · 2021
  6. 6
    Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation
    4 citations · 2024
  7. 7
    Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
    4 citations · 2012
  8. 8
    Temporal Behavior Trees: Robustness and Segmentation
    3 citations · 2024
  9. 9
    Probabilistic Specification Learning for Planning with Safety Constraints
    2 citations · 2021

Key Collaborators

EJEmily Jensen2 shared papersCSCésar Sánchez2 shared papersKKKangjin Kim2 shared papersBEBor-Yuh Evan Chang2 shared papersASAlejandro Sánchez2 shared papersGFGeorgios Fainekos2 shared papersJSJasdeep Singh1 shared papersMLMorteza Lahijanian1 shared papersBHBradley Hayes1 shared papersKWKandai Watanabe1 shared papersACArthur Clavière1 shared papersSDSouradeep Dutta1 shared papersJCJohann C. Dauer1 shared papersBFBernd Finkbeiner1 shared papersACAleksandar Chakarov1 shared papersSGSumit Gulwani1 shared papersNRNicholas Renninger1 shared papersSSSebastian Schirmer1 shared papers
Not generated yet