Xiaowu Sun

1. Formal Verification of Neural Network Controlled Autonomous Systems
   2018/10/31 by Xiaowu Sun, Sun, Xiaowu, Haitham Khedr +3 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning and Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
   2022/10/11 by Xiaowu Sun, Sun, Xiaowu, Yasser Shoukry +1 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering