论文数
2
总引用数
17
H-Index
2
关于
暂无简介。
研究焦点
Computer science2 · 17 次引用
Mathematics1 · 12 次引用
Algorithm1 · 12 次引用
Graph1 · 12 次引用
Artificial intelligence1 · 12 次引用
Mathematical optimization1 · 12 次引用
Control theory (sociology)1 · 12 次引用
Corollary1 · 12 次引用
Bounded function1 · 12 次引用
Dependency (UML)1 · 12 次引用
Discrete mathematics1 · 12 次引用
Model checking1 · 12 次引用
主要成就
2
H 指数
2
论文
17
总引用数
9
篇均引用
🏆 最高被引论文
Guaranteed-Safe Approximate Reachability via State Dependency-Based Decomposition
12 次引用 · 2020
📈 最高产年份: 2020 (1 论文)
🤝 主要合作者: 7
🏛 所属机构: Simon Fraser University, Zhejiang University of Technology
代表论文
- 1
- 2
主要合作者
尚未生成