Xiaowu Sun

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

Papers

4

Total Citations

159

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
159
Total Citations
40
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of neural network controlled autonomous systems
137 citations · 2019
📈 Most Prolific Year: 2019 (2 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: University of Maryland, College Park, University of California, Irvine

Top Papers

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

Key Collaborators

YSYasser Shoukry4 shared papersPNPierluigi Nuzzo1 shared papersHKHaitham Khedr1 shared papersMMMatthew Melhorn1 shared papersRNRohitkrishna Nambiar1 shared papers
Not generated yet