Sicun Gao

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 82

Top Venues

Publications

Ya-Chien Chang, Sicun Gao
Extremum-Seeking Action Selection for Accelerating Policy Optimization. ICRA (2024)
Yaoguang Zhai, Zhizhen Qin, Sicun Gao
Sample-and-Bound for Non-convex Optimization. AAAI (2024)
Tao Wang, Bo Zhao, Sicun Gao, Rose Yu
Understanding the difficulty of solving Cauchy problems with PINNs. L4DC (2024)
Milan Ganai, Sicun Gao, Sylvia L. Herbert
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey. CoRR (2024)
Tao Wang, Sylvia L. Herbert, Sicun Gao
Mollification Effects of Policy Gradient Methods. CoRR (2024)
Niloofar Mireshghallah, Justus Mattern, Sicun Gao, Reza Shokri, Taylor Berg-Kirkpatrick
Smaller Language Models are Better Zero-shot Machine-Generated Text Detectors. EACL (2) (2024)
Tao Wang, Bo Zhao, Sicun Gao, Rose Yu
Understanding the Difficulty of Solving Cauchy Problems with PINNs. CoRR (2024)
Yaoguang Zhai, Zhizhen Qin, Sicun Gao
Sample-and-Bound for Non-Convex Optimization. CoRR (2024)
Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. ICRA (2024)
Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. CoRR (2024)
Hongzhan Yu, Sicun Gao
Activation-Descent Regularization for Input Optimization of ReLU Networks. CoRR (2024)
Chung-En Sun, Sicun Gao, Tsui-Wei Weng
Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents. CoRR (2024)
Ya-Chien Chang, Sicun Gao
Extremum-Seeking Action Selection for Accelerating Policy Optimization. CoRR (2024)
Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
Iterative Reachability Estimation for Safe Reinforcement Learning. CoRR (2023)
Fatemehsadat Mireshghallah, Justus Mattern, Sicun Gao, Reza Shokri, Taylor Berg-Kirkpatrick
Smaller Language Models are Better Black-box Machine-Generated Text Detectors. CoRR (2023)
Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. ICRA (2023)
Tao Wang, Sylvia L. Herbert, Sicun Gao
Fractal Landscapes in Policy Optimization. NeurIPS (2023)
Chenning Yu, Qingbiao Li, Sicun Gao, Amanda Prorok
Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality. ICRA (2023)
Hui Shi, Yupeng Gu, Yitong Zhou, Bo Zhao, Sicun Gao, Jishen Zhao
Everyone's Preference Changes Differently: A Weighted Multi-Interest Model For Retrieval. ICML (2023)
Hongzhan Yu, Chiaki Hirayama, Chenning Yu, Sylvia L. Herbert, Sicun Gao
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance. CoRR (2023)
Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. CoRR (2023)
Xiaofan Yu, Yunhui Guo, Sicun Gao, Tajana Rosing
SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge. CVPR Workshops (2023)
Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
Iterative Reachability Estimation for Safe Reinforcement Learning. NeurIPS (2023)
Chenning Yu, Qingbiao Li, Sicun Gao, Amanda Prorok
Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality. CoRR (2023)
Sander Tonkens, Alex Toofanian, Zhizhen Qin, Sicun Gao, Sylvia L. Herbert
Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability. CoRR (2023)
Tao Wang, Sylvia L. Herbert, Sicun Gao
Fractal Landscapes in Policy Optimization. CoRR (2023)
Charles Dawson, Sicun Gao, Chuchu Fan
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. IEEE Trans. Robotics 39 (3) (2023)
Hongzhan Yu, Chiaki Hirayama, Chenning Yu, Sylvia L. Herbert, Sicun Gao
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance. IROS (2023)
Hsin-Yu Liu, Bharathan Balaji, Sicun Gao, Rajesh K. Gupta, Dezhi Hong
Safe HVAC Control via Batch Reinforcement Learning. ICCPS (2022)
Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. NeurIPS (2022)
Hui Shi, Yupeng Gu, Yitong Zhou, Bo Zhao, Sicun Gao, Jishen Zhao
Every Preference Changes Differently: Neural Multi-Interest Preference Model with Temporal Dynamics for Recommendation. CoRR (2022)
Chenning Yu, Hongzhan Yu, Sicun Gao
Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation. CoRR (2022)
Eric Yang Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao
Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems. CoRR (2022)
Hui Shi, Sicun Gao, Yuandong Tian, Xinyun Chen, Jishen Zhao
Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and the Explanations. AAAI (2022)
Zhizhen Qin, Tsui-Wei Weng, Sicun Gao
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions. CoRR (2022)
Chenning Yu, Sicun Gao
Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks. CoRR (2022)
Sicun Gao, Orna Grumberg, Paolo Zuliani
Edmund Melson Clarke, Jr. (1945-2020). Formal Methods Syst. Des. 60 (3) (2022)
Tong Huang, Sicun Gao, Le Xie
A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids. IEEE Trans. Smart Grid 13 (1) (2022)
Yaoguang Zhai, Sicun Gao
Monte Carlo Tree Descent for Black-Box Optimization. NeurIPS (2022)
Zhizhen Qin, Tsui-Wei Weng, Sicun Gao
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions. IROS (2022)
Eric Yang Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao
Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems. NeurIPS (2022)
Chenning Yu, Hongzhan Yu, Sicun Gao
Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation. CoRL (2022)
Yaoguang Zhai, Sicun Gao
Monte Carlo Tree Descent for Black-Box Optimization. CoRR (2022)
Charles Dawson, Sicun Gao, Chuchu Fan
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. CoRR (2022)
Xiaofan Yu, Yunhui Guo, Sicun Gao, Tajana Rosing
SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge. CoRR (2022)
Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. CoRR (2022)
Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL (2021)
Min Kyung Lee, Ishan Nigam, Angie Zhang, Joel Afriyie, Zhizhen Qin, Sicun Gao
Participatory Algorithmic Management: Elicitation Methods for Worker Well-Being Models. AIES (2021)
Chenning Yu, Sicun Gao
Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks. NeurIPS (2021)
Ya-Chien Chang, Sicun Gao
Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics. CoRR (2021)
Sicun Gao
Nonlinearity, Automation, and Reliable Cyberphysical Systems. Computer 54 (7) (2021)
Hui Shi, Sicun Gao, Yuandong Tian, Xinyun Chen, Jishen Zhao
Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and Explanations. CoRR (2021)
Daeyeal Lee, Dongwon Park, Chia-Tung Ho, Ilgweon Kang, Hayoung Kim, Sicun Gao, Bill Lin, Chung-Kuan Cheng
SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (10) (2021)
Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR (2021)
Tong Huang, Sicun Gao, Xun Long, Le Xie
A Neural Lyapunov Approach to Transient Stability Assessment in Interconnected Microgrids. HICSS (2021)
Ya-Chien Chang, Sicun Gao
Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics. ICRA (2021)
Tong Huang, Sicun Gao, Le Xie
Transient Stability Assessment of Networked Microgrids Using Neural Lyapunov Methods. CoRR (2020)
Ya-Chien Chang, Nima Roohi, Sicun Gao
Neural Lyapunov Control. CoRR (2020)
Yuda Song, Aditi Mavalankar, Wen Sun, Sicun Gao
Provably Efficient Model-based Policy Adaptation. CoRR (2020)
Dongwon Park, Daeyeal Lee, Ilgweon Kang, Chester Holtz, Sicun Gao, Bill Lin, Chung-Kuan Cheng
Grid-Based Framework for Routability Analysis and Diagnosis With Conditional Design Rules. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Yuda Song, Aditi Mavalankar, Wen Sun, Sicun Gao
Provably Efficient Model-based Policy Adaptation. ICML (2020)
Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren
RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. SP Workshops (2020)
Dongwon Park, Daeyeal Lee, Ilgweon Kang, Sicun Gao, Bill Lin, Chung-Kuan Cheng
SP&R: Simultaneous Placement and Routing framework for standard cell synthesis in sub-7nm. ASP-DAC (2020)
Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. NSV@CAV (2019)
Dongwon Park, Ilgweon Kang, Yeseong Kim, Sicun Gao, Bill Lin, Chung-Kuan Cheng
ROAD: Routability Analysis and Diagnosis Framework Based on SAT Techniques. ISPD (2019)
Ya-Chien Chang, Nima Roohi, Sicun Gao
Neural Lyapunov Control. NeurIPS (2019)
Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) (2019)
Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner
VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. CCS (2019)
Quan Vuong, Sharad Vikram, Hao Su, Sicun Gao, Henrik I. Christensen
How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies? CoRR (2019)
Sumanth Dathathri, Sicun Gao, Richard M. Murray
Inverse Abstraction of Neural Networks Using Symbolic Interpolation. AAAI (2019)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC (2018)
Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama
REAS: Combining Numerical Optimization with SAT Solving. CoRR (2018)
Vahideh Akhlaghi, Sicun Gao, Rajesh K. Gupta
LEMAX: learning-based energy consumption minimization in approximate computing with quality guarantee. DAC (2018)
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR (2018)
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) (2018)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR (2018)
Sumanth Dathathri, Nikos Aréchiga, Sicun Gao, Richard M. Murray
Learning-Based Abstractions for Nonlinear Constraint Solving. IJCAI (2017)
Kyungmin Bae, Sicun Gao
Modular SMT-based analysis of nonlinear hybrid systems. FMCAD (2017)
Nikos Aréchiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shinichi Shiraishi
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. SCAV@CPSWeek (2017)
Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC (2016)
Sicun Gao, Damien Zufferey
Interpolants in Nonlinear Theories Over the Reals. TACAS (2016)
Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM (2016)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC (2015)
Kyungmin Bae, Soonho Kong, Sicun Gao
SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek (2015)
Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman
SMT-Based Nonlinear PDDL+ Planning. AAAI (2015)
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB (2015)
Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. CDC (2015)
Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke
dReach: δ-Reachability Analysis for Hybrid Systems. TACAS (2015)
Edmund M. Clarke, Sicun Gao
Model Checking Hybrid Systems - (Invited Talk). ISoLA (2) (2014)
Ezio Bartocci, Sicun Gao, Scott A. Smolka
Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) (2014)
Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. CoRR (2014)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Revisiting the Complexity of Stability of Continuous and Hybrid Systems. CoRR (2014)
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. CoRR (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR (2014)
Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB (2014)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Proof Generation from Delta-Decisions. SYNASC (2014)
Sicun Gao
Descriptive Control Theory: A Proposal. CoRR (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR (2014)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Proof Generation from Delta-Decisions. CoRR (2014)

Sicun Gao.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sicun Gao