| dReal: An SMT solver for nonlinear theories over the reals S Gao, S Kong, EM Clarke International conference on automated deduction, 208-214, 2013 | 595 | 2013 |
| Neural lyapunov control YC Chang, N Roohi, S Gao Advances in neural information processing systems 32, 2019 | 396 | 2019 |
| 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 | 362 | 2015 |
| Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control C Dawson, S Gao, C Fan IEEE Transactions on Robotics 39 (3), 1749-1767, 2023 | 260* | 2023 |
| δ-Complete Decision Procedures for Satisfiability over the Reals S Gao, J Avigad, EM Clarke International Joint Conference on Automated Reasoning, 286-300, 2012 | 246 | 2012 |
| Safe nonlinear control using robust neural lyapunov-barrier functions C Dawson, Z Qin, S Gao, C Fan Conference on Robot Learning, 1724-1735, 2022 | 189 | 2022 |
| Satisfiability modulo odes S Gao, S Kong, EM Clarke 2013 Formal Methods in Computer-Aided Design, 105-112, 2013 | 115 | 2013 |
| Delta-decidability over the reals S Gao, J Avigad, EM Clarke 2012 27th Annual IEEE Symposium on Logic in Computer Science, 305-314, 2012 | 100 | 2012 |
| A non-prenex, non-clausal QBF solver with game-state learning W Klieber, S Sapra, S Gao, E Clarke Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010 | 97 | 2010 |
| SMT-based nonlinear PDDL+ planning D Bryce, S Gao, D Musliner, R Goldman Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 94 | 2015 |
| Reducing collision checking for sampling-based motion planning using graph neural networks C Yu, S Gao Advances in Neural Information Processing Systems 34, 4274-4289, 2021 | 64 | 2021 |
| A neural Lyapunov approach to transient stability assessment of power electronics-interfaced networked microgrids T Huang, S Gao, L Xie IEEE transactions on smart grid 13 (1), 106-118, 2021 | 62 | 2021 |
| Stabilizing neural control using self-learned almost lyapunov critics YC Chang, S Gao 2021 IEEE International Conference on Robotics and Automation (ICRA), 1803-1809, 2021 | 62 | 2021 |
| Counting zeros over finite fields with Gröbner bases S Gao Master’s thesis, Carnegie Mellon University, 2009 | 58* | 2009 |
| 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 | 57 | 2010 |
| How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies? Q Vuong, S Vikram, H Su, S Gao, HI Christensen arXiv preprint arXiv:1903.11774, 2019 | 53 | 2019 |
| Participatory algorithmic management: Elicitation methods for worker well-being models MK Lee, I Nigam, A Zhang, J Afriyie, Z Qin, S Gao Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, 715-726, 2021 | 46 | 2021 |
| APEX: Autonomous vehicle plan verification and execution M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam SAE World Congress 2016, 1-13, 2016 | 45 | 2016 |
| Releq: an automatic reinforcement learning approach for deep quantization of neural networks A Elthakeb, P Pilligundla, FS Mireshghallah, A Yazdanbakhsh, S Gao, ... NeurIPS ML for Systems workshop, 2018, 2019 | 39 | 2019 |
| SP&R: SMT-based simultaneous place-and-route for standard cell synthesis of advanced nodes D Lee, D Park, CT Ho, I Kang, H Kim, S Gao, B Lin, CK Cheng IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 36 | 2020 |
