Sriram Sankaranarayanan

University of Colorado Boulder

论文数

9

总引用数

223

H-Index

5

关于

暂无简介。

研究焦点

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

主要成就

5
H 指数
9
论文
223
总引用数
25
篇均引用
🏆 最高被引论文
Static analysis for probabilistic programs
122 次引用 · 2013
📈 最高产年份: 2012 (3 论文)
🤝 主要合作者: 18
🏛 所属机构: University of Colorado Boulder

代表论文

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

主要合作者

EJEmily Jensen2 篇合著论文CSCésar Sánchez2 篇合著论文KKKangjin Kim2 篇合著论文BEBor-Yuh Evan Chang2 篇合著论文ASAlejandro Sánchez2 篇合著论文GFGeorgios Fainekos2 篇合著论文JSJasdeep Singh1 篇合著论文MLMorteza Lahijanian1 篇合著论文BHBradley Hayes1 篇合著论文KWKandai Watanabe1 篇合著论文ACArthur Clavière1 篇合著论文SDSouradeep Dutta1 篇合著论文JCJohann C. Dauer1 篇合著论文BFBernd Finkbeiner1 篇合著论文ACAleksandar Chakarov1 篇合著论文SGSumit Gulwani1 篇合著论文NRNicholas Renninger1 篇合著论文SSSebastian Schirmer1 篇合著论文
尚未生成