Xiaowu Sun

University of Maryland, College Park, University of California, Irvine

论文数

4

总引用数

159

H-Index

4

关于

暂无简介。

研究焦点

Algorithm4 · 159 次引用
Computer science4 · 159 次引用
Artificial intelligence4 · 159 次引用
Robot3 · 155 次引用
Mathematics3 · 149 次引用
Control theory (sociology)3 · 149 次引用
Workspace2 · 145 次引用
Artificial neural network2 · 141 次引用
Affine transformation2 · 141 次引用
Reachability2 · 141 次引用
Abstraction1 · 137 次引用
Controller (irrigation)1 · 137 次引用

主要成就

4
H 指数
4
论文
159
总引用数
40
篇均引用
🏆 最高被引论文
Formal verification of neural network controlled autonomous systems
137 次引用 · 2019
📈 最高产年份: 2019 (2 论文)
🤝 主要合作者: 5
🏛 所属机构: University of Maryland, College Park, University of California, Irvine

代表论文

  1. 1
    Formal verification of neural network controlled autonomous systems
    137 次引用 · 2019
  2. 2
    Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
    10 次引用 · 2024
  3. 3
    DoS-Resilient Multi-Robot Temporal Logic Motion Planning
    8 次引用 · 2019
  4. 4
    Provably Correct Training of Neural Network Controllers Using Reachability Analysis
    4 次引用 · 2021

主要合作者

YSYasser Shoukry4 篇合著论文PNPierluigi Nuzzo1 篇合著论文HKHaitham Khedr1 篇合著论文MMMatthew Melhorn1 篇合著论文RNRohitkrishna Nambiar1 篇合著论文
尚未生成