Sicun Gao
发表
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
CADE.
Sicun Gao,
J. Avigad,
2012
.
Sicun Gao,
Sicun Gao,
2014
.
Sicun Gao,
E. Clarke,
2016
.
Sriram Sankaranarayanan,
Edmund M. Clarke,
Sicun Gao,
2010,
Formal Methods in Computer Aided Design.
Sicun Gao,
M. Ganai,
Aarti Gupta,
2010
.
Sicun Gao,
Soonho Kong,
E. Clarke,
2013
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
HSCC.
Sicun Gao,
F. Paesani,
Yaoguang Zhai,
2020,
The Journal of chemical physics.
Sicun Gao,
E. Clarke,
J. Avigad,
2012
.
Sicun Gao,
T. Simunic,
Yunhui Guo,
2022,
ArXiv.
Sicun Gao,
E. Clarke,
2011
.
Hayoung Kim,
Dong-won Park,
Bill Lin,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sicun Gao,
Sicun Gao,
2009
.
Sicun Gao,
T. Simunic,
Yunhui Guo,
2022,
ArXiv.
Sicun Gao,
Chenning Yu,
Hong-Den Yu,
2022,
CoRL.
Joachim von zur Gathen,
Sicun Gao,
Sicun Gao,
1994
.
Sicun Gao,
T. Simunic,
Yunhui Guo,
2022,
ArXiv.
Sicun Gao,
Yaoguang Zhai,
2022,
NeurIPS.
Sicun Gao,
Chuchu Fan,
Ruipeng Zhang,
2022,
NeurIPS.
Sicun Gao,
Soonho Kong,
E. Clarke,
2013
.
Sicun Gao,
Chuchu Fan,
Charles Dawson,
2022,
IEEE Transactions on Robotics.
Sicun Gao,
Rajesh K. Gupta,
Bharathan Balaji,
2022,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2019,
CAV.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2018,
ArXiv.
Sicun Gao,
Wen Sun,
Aditi Mavalankar,
2020,
ICML.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Sicun Gao,
Le Xie,
Tong Huang,
2022,
IEEE Transactions on Smart Grid.
Sicun Gao,
Ishan Nigam,
Min Kyung Lee,
2021,
AIES.
Sicun Gao,
Chen-Ping Yu,
2022,
NeurIPS.
Sicun Gao,
R. Shokri,
Taylor Berg-Kirkpatrick,
2023,
ArXiv.
Sicun Gao,
Charles Dawson,
Zengyi Qin,
2021,
CoRL.
Sicun Gao,
T. Simunic,
Yunhui Guo,
2022,
ArXiv.
Sicun Gao,
Armaiti Ardeshiricham,
Ryan Kastner,
2019,
CCS.
Min Kyung Lee,
Sicun Gao,
Ishan Nigam,
2021
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Edmund M. Clarke,
Jeremy Avigad,
Sicun Gao,
2012,
IJCAR.
How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies?
pdf
Henrik I. Christensen,
Sharad Vikram,
Sicun Gao,
2019,
ArXiv.
Sicun Gao,
Nikos Arechiga,
Sumanth Dathathri,
2016
.
Sicun Gao,
Tong Huang,
Le Xie,
2020,
ArXiv.
Xinyun Chen,
Sicun Gao,
Jishen Zhao,
2021,
AAAI.
Sicun Gao,
Nima Roohi,
Ya-Chien Chang,
2020,
NeurIPS.
Sicun Gao,
Qingbiao Li,
Chenning Yu,
2023,
2023 IEEE International Conference on Robotics and Automation (ICRA).
Sicun Gao,
Hui Shi,
Yitong Zhou,
2022,
ICML.
Sicun Gao,
Hui Shi,
Yitong Zhou,
2022
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
CMSB.
Sylvia L. Herbert,
Sicun Gao,
Chenning Yu,
2023,
arXiv.org.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2015,
CMSB.
Richard M. Murray,
Sicun Gao,
Sumanth Dathathri,
2017,
IJCAI.
Sylvia L. Herbert,
Sicun Gao,
S. Tonkens,
2023,
ArXiv.
Chung-Kuan Cheng,
Bill Lin,
Sicun Gao,
2019,
ISPD.
Radu Grosu,
Scott A. Smolka,
Sicun Gao,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
2013 Formal Methods in Computer-Aided Design.
Armando Solar-Lezama,
Sicun Gao,
Dimitrios N. Serpanos,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Sicun Gao,
Ya-Chien Chang,
Milan Ganai,
2023,
2023 IEEE International Conference on Robotics and Automation (ICRA).
Sicun Gao,
Le Xie,
Tong Huang,
2021,
HICSS.
Sicun Gao,
Pape Sylla,
Chris R. Serrano,
2020,
2020 IEEE Security and Privacy Workshops (SPW).
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty
pdf
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
1404.7206.
Edmund M. Clarke,
Jeremy Avigad,
Sicun Gao,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Sicun Gao,
Soonho Kong,
Armando Solar-Lezama,
2018,
ArXiv.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2015,
TACAS.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2014,
ArXiv.
Sicun Gao,
Yunhui Guo,
Xiaofan Yu,
2022,
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).