Sicun Gao

1. Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods
   2022/02/23 by Charles Dawson, Sicun Gao, Dawson, Charles +3 · 37 citations
   Engineering · Computer Science · #Fault Detection and Control Systems #Advanced Control Systems Optimization #Reinforcement Learning in Robotics
2. Neural Lyapunov Control
   2020/05/01 by Ya-Chien Chang, Chang, Ya-Chien, Nima Roohi +3 · 22 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications #Neural and Evolutionary Computing (cs.NE) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
   2021/09/14 by Charles Dawson, Zengyi Qin, Dawson, Charles +5 · 17 citations
   Engineering · Computer Science · #Advanced Control Systems Optimization #Reinforcement Learning in Robotics #Fault Detection and Control Systems
4. How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies?
   2019/03/28 by Quan Vuong, Sharad Vikram, Vuong, Quan +7 · 4 citations
   Computer Science · #Reinforcement Learning in Robotics #Evolutionary Algorithms and Applications #Advanced Multi-Objective Optimization Algorithms
5. Delta-Complete Decision Procedures for Satisfiability over the Reals
   2012/04/16 by Sicun Gao, Jeremy Avigad, Gao, Sicun +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Petri Nets in System Modeling #Symbolic Computation (cs.SC)
6. Everyone's Preference Changes Differently: Weighted Multi-Interest Retrieval Model
   2022/07/14 by Hui Shi, Shi, Hui, Yupeng Gu +9 · 3 citations
   Computer Science · #Advanced Image and Video Retrieval Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Machine Learning (cs.LG) #Recommender Systems and Techniques #Text and Document Classification Technologies
7. Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding
   2022/10/16 by Ruipeng Zhang, Zhang, Ruipeng, Chenning Yu +7 · 3 citations
   Computer Science · Engineering · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Robotics (cs.RO)
8. Smaller Language Models are Better Black-box Machine-Generated Text Detectors
   2023/05/17 by Mireshghallah, Niloofar, Justus Mattern, Mattern, Justus +6 · 3 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Natural Language Processing Techniques #Topic Modeling
9. Learning Bounded Context-Free-Grammar via LSTM and the Transformer:Difference and Explanations
   2021/12/16 by Hui Shi, Shi, Hui, Sicun Gao +7 · 2 citations
   Computer Science · #Topic Modeling #Natural Language Processing Techniques #Multimodal Machine Learning Applications
10. Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation
    2022/10/17 by Chenning Yu, Hongzhan Yu, Yu, Chenning +3 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Systems and Control (eess.SY) #Transportation and Mobility Innovations #electronic engineering #information engineering
11. Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
    2023/04/19 by Sander Tonkens, Alex Toofanian, Tonkens, Sander +7 · 2 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Reinforcement Learning in Robotics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
12. Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents
    2024/06/26 by Chung-En Sun, Sicun Gao, Sun, Chung-En +3 · 3 citations
    Computer Science · #Mobile Agent-Based Network Management #Formal Methods in Verification #Digital Rights Management and Security
13. When Maximum Entropy Misleads Policy Optimization
    2025/06/05 by Ruipeng Zhang, Ya-Chien Chang, Zhang, Ruipeng +3 · 6 citations
    Computer Science · Engineering · #Adaptive Dynamic Programming Control #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Muscle activation and electromyography studies #Reinforcement Learning in Robotics
14. SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge
    2022/08/24 by Xiaofan Yu, Yunhui Guo, Yu, Xiaofan +5 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)
15. Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance
    2023/07/06 by Hongzhan Yu, C Hirayama, Yu, Hongzhan +7 · 1 citation
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Reinforcement Learning in Robotics #Robotics (cs.RO)