Soonho Kong

Carnegie Mellon University

论文数

3

总引用数

244

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 244 次引用
Reachability3 · 244 次引用
Bounded function3 · 244 次引用
Mathematics3 · 244 次引用
Theoretical computer science2 · 210 次引用
Hybrid system2 · 210 次引用
Machine learning2 · 210 次引用
Nonlinear system2 · 210 次引用
Reachability problem2 · 210 次引用
Robotics1 · 205 次引用
Solver1 · 205 次引用
Programming language1 · 205 次引用

主要成就

3
H 指数
3
论文
244
总引用数
81
篇均引用
🏆 最高被引论文
dReach: δ-Reachability Analysis for Hybrid Systems
205 次引用 · 2015
📈 最高产年份: 2014 (2 论文)
🤝 主要合作者: 4
🏛 所属机构: Carnegie Mellon University

代表论文

  1. 1
    dReach: δ-Reachability Analysis for Hybrid Systems
    205 次引用 · 2015
  2. 2
    Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
    34 次引用 · 2014
  3. 3
    Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
    5 次引用 · 2014

主要合作者

EMEdmund M. Clarke3 篇合著论文SGSicun Gao3 篇合著论文WCWei Chen2 篇合著论文WCWei Chen1 篇合著论文
尚未生成