Travelled to:1 × Croatia
1 × USA
3 × United Kingdom
Collaborated with:E.M.Clarke S.Kong J.Avigad A.Solar-Lezama W.Chen W.Klieber S.Sapra J.Kapinski J.V.Deshmukh N.Roohi N.Aréchiga
Talks about:real (4) procedur (2) system (2) solver (2) delta (2) decis (2) non (2) nonlinear (1) reachabl (1) satisfi (1)
Person: Sicun Gao
DBLP: Gao:Sicun
Contributed to:
2015
2013
2012
2012
2010
20182019Wrote 7 papers:
- TACAS-2015-KongGCC #analysis #hybrid #named
- dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
- CADE-2013-GaoKC #named #smt
- dReal: An SMT Solver for Nonlinear Theories over the Reals (SG, SK, EMC), pp. 208–214.
- IJCAR-2012-GaoAC #satisfiability
- δ-Complete Decision Procedures for Satisfiability over the Reals (SG, JA, EMC), pp. 286–300.
- LICS-2012-GaoAC
- Delta-Decidability over the Reals (SG, JA, EMC), pp. 305–314.
- SAT-2010-KlieberSGC #learning
- A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.
- CAV-2018-KongSG #problem
- Delta-Decision Procedures for Exists-Forall Problems over the Reals (SK, ASL, SG), pp. 219–235.
- CAV-2019-GaoKDRSAK #induction #proving
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems (SG, JK, JVD, NR, ASL, NA, SK), pp. 137–154.