Sicun Gao - RankMe

138 papers A* 30A 7B 3C 2Misc 3Journal 65Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Learning Quadruped Walking from Seconds of Demonstration. CoRR Ruipeng Zhang, Hongzhan Yu, Ya-Chien Chang, Chenghao Li, Henrik I. Christensen, Sicun Gao
2026	J	`jnl`	Learning to Nudge: A Scalable Barrier Function Framework for Safe Robot Interaction in Dense Clutter. CoRR Haixin Jin, Nikhil Uday Shinde, Soofiyan Atar, Hongzhan Yu, Dylan Hirsch, Sicun Gao, Michael C. Yip, Sylvia L. Herbert
2026	J	`jnl`	RN-D: Discretized Categorical Actors with Regularized Networks for On-Policy Reinforcement Learning. CoRR Yuexin Bian, Jie Feng, Tao Wang, Yijiang Li, Sicun Gao, Yuanyuan Shi
2025	J	`jnl`	Controllable Motion Generation via Diffusion Modal Coupling. CoRR Luobin Wang, Hongzhan Yu, Chenning Yu, Sicun Gao, Henrik I. Christensen
2025	A*	`conf`	Estimating Control Barriers from Offline Data. ICRA Hongzhan Yu, Seth Farrell, Ryo Yoshimitsu, Zhizhen Qin, Henrik I. Christensen, Sicun Gao
2025	J	`jnl`	Estimating Control Barriers from Offline Data. CoRR Hongzhan Yu, Seth Farrell, Ryo Yoshimitsu, Zhizhen Qin, Henrik I. Christensen, Sicun Gao
2025	J	`jnl`	GLIDE: A Coordinated Aerial-Ground Framework for Search and Rescue in Unknown Environments. CoRR Seth Farrell, Chenghao Li, Hongzhan Yu, Hesam Mojtahedi, Sicun Gao, Henrik I. Christensen
2025	A*	`conf`	Improving Compositional Generation with Diffusion Models Using Lift Scores. ICML Chenning Yu, Sicun Gao
2025	J	`jnl`	Improving Compositional Generation with Diffusion Models Using Lift Scores. CoRR Chenning Yu, Sicun Gao
2025	A*	`conf`	Improving Value Estimation Critically Enhances Vanilla Policy Gradient. ICML Tao Wang, Ruipeng Zhang, Sicun Gao
2025	J	`jnl`	Improving Value Estimation Critically Enhances Vanilla Policy Gradient. CoRR Tao Wang, Ruipeng Zhang, Sicun Gao
2025	J	`jnl`	May I have your Attention? Breaking Fine-Tuning based Prompt Injection Defenses using Architecture-Aware Attacks. CoRR Nishit V. Pandya, Andrey Labunets, Sicun Gao, Earlence Fernandes
2025	—	`conf`	Regulating Algorithmic Management: A Multi-Stakeholder Study of Challenges in Aligning Software and the Law for Workplace Scheduling. FAccT Jonathan Lynn, Rachel Y. Kim, Sicun Gao, Daniel Schneider, Sachin S. Pandya, Min Kyung Lee
2025	J	`jnl`	Regulating Algorithmic Management: A Multi-Stakeholder Study of Challenges in Aligning Software and the Law for Workplace Scheduling. CoRR Jonathan Lynn, Rachel Y. Kim, Sicun Gao, Daniel Schneider, Sachin S. Pandya, Min Kyung Lee
2025	—	`conf`	Safe Human Robot Navigation in Warehouse Scenario. CASE Seth Farrell, Chenghao Li, Hongzhan Yu, Ryo Yoshimitsu, Sicun Gao, Henrik I. Christensen
2025	J	`jnl`	Safe Human Robot Navigation in Warehouse Scenario. CoRR Seth Farrell, Chenghao Li, Hongzhan Yu, Ryo Yoshimitsu, Sicun Gao, Henrik I. Christensen
2025	J	`jnl`	Sequence Modeling for Time-Optimal Quadrotor Trajectory Optimization with Sampling-based Robustness Analysis. CoRR Katherine Mao, Hongzhan Yu, Ruipeng Zhang, Igor Spasojevic, M. Ani Hsieh, Sicun Gao, Vijay Kumar
2025	A*	`conf`	When Maximum Entropy Misleads Policy Optimization. ICML Ruipeng Zhang, Ya-Chien Chang, Sicun Gao
2025	J	`jnl`	When Maximum Entropy Misleads Policy Optimization. CoRR Ruipeng Zhang, Ya-Chien Chang, Sicun Gao
2024	A*	`conf`	Activation-Descent Regularization for Input Optimization of ReLU Networks. ICML Hongzhan Yu, Sicun Gao
2024	J	`jnl`	Activation-Descent Regularization for Input Optimization of ReLU Networks. CoRR Hongzhan Yu, Sicun Gao
2024	A*	`conf`	Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents. ICML Chung-En Sun, Sicun Gao, Tsui-Wei Weng
2024	J	`jnl`	Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents. CoRR Chung-En Sun, Sicun Gao, Tsui-Wei Weng
2024	A*	`conf`	Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. ICRA Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
2024	J	`jnl`	Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. CoRR Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
2024	A*	`conf`	Extremum-Seeking Action Selection for Accelerating Policy Optimization. ICRA Ya-Chien Chang, Sicun Gao
2024	J	`jnl`	Extremum-Seeking Action Selection for Accelerating Policy Optimization. CoRR Ya-Chien Chang, Sicun Gao
2024	J	`jnl`	Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey. CoRR Milan Ganai, Sicun Gao, Sylvia L. Herbert
2024	A*	`conf`	Mollification Effects of Policy Gradient Methods. ICML Tao Wang, Sylvia L. Herbert, Sicun Gao
2024	J	`jnl`	Mollification Effects of Policy Gradient Methods. CoRR Tao Wang, Sylvia L. Herbert, Sicun Gao
2024	—	`conf`	Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis. CDC Sander Tonkens, Alex Toofanian, Zhizhen Qin, Sicun Gao, Sylvia L. Herbert
2024	A*	`conf`	SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions. NeurIPS Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark
2024	J	`jnl`	SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions. CoRR Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark
2024	J	`jnl`	Sample-and-Bound for Non-Convex Optimization. CoRR Yaoguang Zhai, Zhizhen Qin, Sicun Gao
2024	A*	`conf`	Sample-and-Bound for Non-convex Optimization. AAAI Yaoguang Zhai, Zhizhen Qin, Sicun Gao
2024	—	`conf`	Smaller Language Models are Better Zero-shot Machine-Generated Text Detectors. EACL (2) Niloofar Mireshghallah, Justus Mattern, Sicun Gao, Reza Shokri, Taylor Berg-Kirkpatrick
2024	J	`jnl`	Understanding the Difficulty of Solving Cauchy Problems with PINNs. CoRR Tao Wang, Bo Zhao, Sicun Gao, Rose Yu
2024	—	`conf`	Understanding the difficulty of solving Cauchy problems with PINNs. L4DC Tao Wang, Bo Zhao, Sicun Gao, Rose Yu
2024	—	`conf`	WikiDT: Visual-Based Table Recognition and Question Answering Dataset. ICDAR (1) Hui Shi, Yusheng Xie, Luis Goncalves, Sicun Gao, Jishen Zhao
2023	A*	`conf`	Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality. ICRA Chenning Yu, Qingbiao Li, Sicun Gao, Amanda Prorok
2023	J	`jnl`	Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality. CoRR Chenning Yu, Qingbiao Li, Sicun Gao, Amanda Prorok
2023	A*	`conf`	Everyone's Preference Changes Differently: A Weighted Multi-Interest Model For Retrieval. ICML Hui Shi, Yupeng Gu, Yitong Zhou, Bo Zhao, Sicun Gao, Jishen Zhao
2023	A*	`conf`	Fractal Landscapes in Policy Optimization. NeurIPS Tao Wang, Sylvia L. Herbert, Sicun Gao
2023	J	`jnl`	Fractal Landscapes in Policy Optimization. CoRR Tao Wang, Sylvia L. Herbert, Sicun Gao
2023	A*	`conf`	Iterative Reachability Estimation for Safe Reinforcement Learning. NeurIPS Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
2023	J	`jnl`	Iterative Reachability Estimation for Safe Reinforcement Learning. CoRR Milan Ganai, Zheng Gong, Chenning Yu, Sylvia L. Herbert, Sicun Gao
2023	A*	`conf`	Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. ICRA Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
2023	J	`jnl`	Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. CoRR Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
2023	J	`jnl`	Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability. CoRR Sander Tonkens, Alex Toofanian, Zhizhen Qin, Sicun Gao, Sylvia L. Herbert
2023	—	`conf`	SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge. CVPR Workshops Xiaofan Yu, Yunhui Guo, Sicun Gao, Tajana Rosing
2023	J	`jnl`	Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. IEEE Trans. Robotics Charles Dawson, Sicun Gao, Chuchu Fan
2023	A	`conf`	Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance. IROS Hongzhan Yu, Chiaki Hirayama, Chenning Yu, Sylvia L. Herbert, Sicun Gao
2023	J	`jnl`	Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance. CoRR Hongzhan Yu, Chiaki Hirayama, Chenning Yu, Sylvia L. Herbert, Sicun Gao
2023	J	`jnl`	Smaller Language Models are Better Black-box Machine-Generated Text Detectors. CoRR Fatemehsadat Mireshghallah, Justus Mattern, Sicun Gao, Reza Shokri, Taylor Berg-Kirkpatrick
2022	J	`jnl`	A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids. IEEE Trans. Smart Grid Tong Huang, Sicun Gao, Le Xie
2022	J	`jnl`	Edmund Melson Clarke, Jr. (1945-2020). Formal Methods Syst. Des. Sicun Gao, Orna Grumberg, Paolo Zuliani
2022	J	`jnl`	Every Preference Changes Differently: Neural Multi-Interest Preference Model with Temporal Dynamics for Recommendation. CoRR Hui Shi, Yupeng Gu, Yitong Zhou, Bo Zhao, Sicun Gao, Jishen Zhao
2022	A*	`conf`	Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and the Explanations. AAAI Hui Shi, Sicun Gao, Yuandong Tian, Xinyun Chen, Jishen Zhao
2022	Misc	`conf`	Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation. CoRL Chenning Yu, Hongzhan Yu, Sicun Gao
2022	J	`jnl`	Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation. CoRR Chenning Yu, Hongzhan Yu, Sicun Gao
2022	A*	`conf`	Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. NeurIPS Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
2022	J	`jnl`	Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. CoRR Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
2022	A*	`conf`	Monte Carlo Tree Descent for Black-Box Optimization. NeurIPS Yaoguang Zhai, Sicun Gao
2022	J	`jnl`	Monte Carlo Tree Descent for Black-Box Optimization. CoRR Yaoguang Zhai, Sicun Gao
2022	A*	`conf`	Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems. NeurIPS Eric Yang Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao
2022	J	`jnl`	Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems. CoRR Eric Yang Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao
2022	A	`conf`	Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions. IROS Zhizhen Qin, Tsui-Wei Weng, Sicun Gao
2022	J	`jnl`	Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions. CoRR Zhizhen Qin, Tsui-Wei Weng, Sicun Gao
2022	J	`jnl`	Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks. CoRR Chenning Yu, Sicun Gao
2022	J	`jnl`	SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge. CoRR Xiaofan Yu, Yunhui Guo, Sicun Gao, Tajana Rosing
2022	J	`jnl`	Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. CoRR Charles Dawson, Sicun Gao, Chuchu Fan
2022	—	`conf`	Safe HVAC Control via Batch Reinforcement Learning. ICCPS Hsin-Yu Liu, Bharathan Balaji, Sicun Gao, Rajesh K. Gupta, Dezhi Hong
2021	—	`conf`	A Neural Lyapunov Approach to Transient Stability Assessment in Interconnected Microgrids. HICSS Tong Huang, Sicun Gao, Xun Long, Le Xie
2021	J	`jnl`	Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and Explanations. CoRR Hui Shi, Sicun Gao, Yuandong Tian, Xinyun Chen, Jishen Zhao
2021	J	`jnl`	Nonlinearity, Automation, and Reliable Cyberphysical Systems. Computer Sicun Gao
2021	C	`conf`	Participatory Algorithmic Management: Elicitation Methods for Worker Well-Being Models. AIES Min Kyung Lee, Ishan Nigam, Angie Zhang, Joel Afriyie, Zhizhen Qin, Sicun Gao
2021	A*	`conf`	Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks. NeurIPS Chenning Yu, Sicun Gao
2021	J	`jnl`	SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Daeyeal Lee, Dongwon Park, Chia-Tung Ho, Ilgweon Kang, Hayoung Kim, Sicun Gao, Bill Lin, Chung-Kuan Cheng
2021	Misc	`conf`	Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
2021	J	`jnl`	Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
2021	A*	`conf`	Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics. ICRA Ya-Chien Chang, Sicun Gao
2021	J	`jnl`	Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics. CoRR Ya-Chien Chang, Sicun Gao
2020	J	`jnl`	Grid-Based Framework for Routability Analysis and Diagnosis With Conditional Design Rules. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dongwon Park, Daeyeal Lee, Ilgweon Kang, Chester Holtz, Sicun Gao, Bill Lin, Chung-Kuan Cheng
2020	J	`jnl`	Neural Lyapunov Control. CoRR Ya-Chien Chang, Nima Roohi, Sicun Gao
2020	A*	`conf`	Provably Efficient Model-based Policy Adaptation. ICML Yuda Song, Aditi Mavalankar, Wen Sun, Sicun Gao
2020	J	`jnl`	Provably Efficient Model-based Policy Adaptation. CoRR Yuda Song, Aditi Mavalankar, Wen Sun, Sicun Gao
2020	—	`conf`	RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. SP (Workshops) Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren
2020	—	`conf`	SP&R: Simultaneous Placement and Routing framework for standard cell synthesis in sub-7nm. ASP-DAC Dongwon Park, Daeyeal Lee, Ilgweon Kang, Sicun Gao, Bill Lin, Chung-Kuan Cheng
2020	J	`jnl`	Transient Stability Assessment of Networked Microgrids Using Neural Lyapunov Methods. CoRR Tong Huang, Sicun Gao, Le Xie
2019	—	`conf`	Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. NSV@CAV Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey
2019	J	`jnl`	How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies? CoRR Quan Vuong, Sharad Vikram, Hao Su, Sicun Gao, Henrik I. Christensen
2019	A*	`conf`	Inverse Abstraction of Neural Networks Using Symbolic Interpolation. AAAI Sumanth Dathathri, Sicun Gao, Richard M. Murray
2019	A*	`conf`	Neural Lyapunov Control. NeurIPS Ya-Chien Chang, Nima Roohi, Sicun Gao
2019	—	`conf`	Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
2019	C	`ed.`	Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. MEMOCODE Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo
2019	—	`conf`	ROAD: Routability Analysis and Diagnosis Framework Based on SAT Techniques. ISPD Dongwon Park, Ilgweon Kang, Yeseong Kim, Sicun Gao, Bill Lin, Chung-Kuan Cheng
2019	A*	`conf`	VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. CCS Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner
2018	—	`conf`	Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) Soonho Kong, Armando Solar-Lezama, Sicun Gao
2018	J	`jnl`	Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR Soonho Kong, Armando Solar-Lezama, Sicun Gao
2018	A*	`conf`	LEMAX: learning-based energy consumption minimization in approximate computing with quality guarantee. DAC Vahideh Akhlaghi, Sicun Gao, Rajesh K. Gupta
2018	J	`jnl`	REAS: Combining Numerical Optimization with SAT Solving. CoRR Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama
2018	—	`conf`	Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2018	J	`jnl`	Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2017	A*	`conf`	Learning-Based Abstractions for Nonlinear Constraint Solving. IJCAI Sumanth Dathathri, Nikos Aréchiga, Sicun Gao, Richard M. Murray
2017	B	`conf`	Modular SMT-based analysis of nonlinear hybrid systems. FMCAD Kyungmin Bae, Sicun Gao
2017	—	`conf`	Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. SCAV@CPSWeek Nikos Aréchiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shinichi Shiraishi
2016	—	`conf`	CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 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
2016	A	`conf`	Interpolants in Nonlinear Theories Over the Reals. TACAS Sicun Gao, Damien Zufferey
2016	—	`conf`	SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
2015	—	`conf`	Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. CDC Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe
2015	—	`conf`	SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek Kyungmin Bae, Soonho Kong, Sicun Gao
2015	A*	`conf`	SMT-Based Nonlinear PDDL+ Planning. AAAI Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman
2015	—	`conf`	SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
2015	—	`conf`	Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
2015	A	`conf`	dReach: δ-Reachability Analysis for Hybrid Systems. TACAS Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke
2014	—	`conf`	Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 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
2014	J	`jnl`	Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. CoRR Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke
2014	J	`jnl`	Descriptive Control Theory: A Proposal. CoRR Sicun Gao
2014	—	`conf`	Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) Ezio Bartocci, Sicun Gao, Scott A. Smolka
2014	—	`conf`	Model Checking Hybrid Systems - (Invited Talk). ISoLA (2) Edmund M. Clarke, Sicun Gao
2014	J	`jnl`	Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
2014	—	`conf`	Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
2014	Misc	`conf`	Proof Generation from Delta-Decisions. SYNASC Sicun Gao, Soonho Kong, Edmund M. Clarke
2014	J	`jnl`	Proof Generation from Delta-Decisions. CoRR Sicun Gao, Soonho Kong, Edmund M. Clarke
2014	J	`jnl`	Revisiting the Complexity of Stability of Continuous and Hybrid Systems. CoRR Sicun Gao, Soonho Kong, Edmund M. Clarke
2014	J	`jnl`	SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. CoRR Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
2014	J	`jnl`	Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
2013	J	`jnl`	Satisfiability Modulo ODEs. CoRR Sicun Gao, Soonho Kong, Edmund M. Clarke
2013	B	`conf`	Satisfiability modulo ODEs. FMCAD Sicun Gao, Soonho Kong, Edmund M. Clarke
2013	A	`conf`	dReal: An SMT Solver for Nonlinear Theories over the Reals. CADE Sicun Gao, Soonho Kong, Edmund M. Clarke
2012	J	`jnl`	Delta-Complete Decision Procedures for Satisfiability over the Reals CoRR Sicun Gao, Jeremy Avigad, Edmund M. Clarke
2012	J	`jnl`	Delta-Decidability over the Reals CoRR Sicun Gao, Jeremy Avigad, Edmund M. Clarke
2012	A*	`conf`	Delta-Decidability over the Reals. LICS Sicun Gao, Jeremy Avigad, Edmund M. Clarke
2012	A	`conf`	δ-Complete Decision Procedures for Satisfiability over the Reals. IJCAR Sicun Gao, Jeremy Avigad, Edmund M. Clarke
2011	J	`jnl`	Quantifier Elimination over Finite Fields Using Gröbner Bases CoRR Sicun Gao, André Platzer, Edmund M. Clarke
2011	—	`conf`	Quantifier Elimination over Finite Fields Using Gröbner Bases. CAI Sicun Gao, André Platzer, Edmund M. Clarke
2010	A	`conf`	A Non-prenex, Non-clausal QBF Solver with Game-State Learning. SAT William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke
2010	B	`conf`	Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. FMCAD Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke