Sicun Gao
Sicun Gao
Verified email at ucsd.edu - Homepage
Title
Cited by
Cited by
Year
dReal: An SMT Solver for Nonlinear Theories over the Reals
S Gao, S Kong, EM Clarke
International conference on automated deduction, 208-214, 2013
3422013
dReach: δ-Reachability Analysis for Hybrid Systems
S Kong, S Gao, W Chen, E Clarke
International Conference on TOOLS and Algorithms for the Construction and …, 2015
2332015
δ-complete decision procedures for satisfiability over the reals
S Gao, J Avigad, EM Clarke
International Joint Conference on Automated Reasoning, 286-300, 2012
1512012
Satisfiability modulo odes
S Gao, S Kong, EM Clarke
2013 Formal Methods in Computer-Aided Design, 105-112, 2013
982013
A non-prenex, non-clausal QBF solver with game-state learning
W Klieber, S Sapra, S Gao, E Clarke
International Conference on Theory and Applications of Satisfiability …, 2010
842010
SMT-Based Nonlinear PDDL+ Planning.
D Bryce, S Gao, DJ Musliner, RP Goldman
AAAI, 3247-3253, 2015
812015
Delta-decidability over the reals
S Gao, J Avigad, EM Clarke
2012 27th Annual IEEE Symposium on Logic in Computer Science, 305-314, 2012
712012
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems
S Gao, M Ganai, F Ivančić, A Gupta, S Sankaranarayanan, EM Clarke
Formal Methods in Computer Aided Design, 81-89, 2010
512010
Counting zeros over finite fields with Gröbner bases
S Gao
Master's thesis, Carnegie Mellon University, 2009
46*2009
Releq: an automatic reinforcement learning approach for deep quantization of neural networks
AT Elthakeb, P Pilligundla, FS Mireshghallah, A Yazdanbakhsh, S Gao, ...
arXiv preprint arXiv:1811.01704, 2018
302018
Delta-complete analysis for bounded reachability of hybrid systems
S Gao, S Kong, W Chen, E Clarke
arXiv preprint arXiv:1404.7171, 2014
262014
Neural lyapunov control
YC Chang, N Roohi, S Gao
Advances in Neural Information Processing Systems, 3245-3254, 2019
232019
Sreach: A probabilistic bounded delta-reachability analyzer for stochastic hybrid systems
Q Wang, P Zuliani, S Kong, S Gao, EM Clarke
International Conference on Computational Methods in Systems Biology, 15-27, 2015
21*2015
Parameter synthesis for cardiac cell hybrid models using δ-decisions
B Liu, S Kong, S Gao, P Zuliani, EM Clarke
International Conference on Computational Methods in Systems Biology, 99-113, 2014
20*2014
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
192016
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems
S Gao, L Xie, A Solar-Lezama, D Serpanos, H Shrobe
2015 54th ieee conference on decision and control (cdc), 2613-2620, 2015
182015
Towards personalized prostate cancer therapy using delta-reachability analysis
B Liu, S Kong, S Gao, P Zuliani, EM Clarke
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
182015
Quantifier elimination over finite fields using Gröbner bases
S Gao, A Platzer, EM Clarke
International Conference on Algebraic Informatics, 140-157, 2011
162011
Interpolants in nonlinear theories over the reals
S Gao, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2016
142016
Computable analysis, decision procedures, and hybrid automata: a new framework for the formal verification of cyber-physical systems
S Gao
PhD thesis, Carnegie Mellon University, 2012
122012
The system can't perform the operation now. Try again later.
Articles 1–20