Sicun Gao
Identifiers
- name variant Sicun Gao 0.60 · backfill
Papers (15)
- How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies? cs.LG · 2019 · author #4
- Tight Continuous-Time Reachtubes for Lagrangian Reachability cs.NA · 2018 · author #4
- Delta-Decision Procedures for Exists-Forall Problems over the Reals cs.LO · 2018 · author #3
- REAS: Combining Numerical Optimization with SAT Solving cs.PL · 2018 · author #2
- Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis q-bio.QM · 2014 · author #3
- Proof Generation from Delta-Decisions cs.LO · 2014 · author #1
- Descriptive Control Theory: A Proposal cs.LO · 2014 · author #1
- Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions cs.LO · 2014 · author #3
- SReach: A Bounded Model Checker for Stochastic Hybrid Systems cs.FL · 2014 · author #4
- Delta-Complete Analysis for Bounded Reachability of Hybrid Systems cs.SY · 2014 · author #1
- Revisiting the Complexity of Stability of Continuous and Hybrid Systems cs.SY · 2014 · author #1
- Satisfiability Modulo ODEs cs.LO · 2013 · author #1
- Delta-Decidability over the Reals cs.LO · 2012 · author #1
- Delta-Complete Decision Procedures for Satisfiability over the Reals cs.LO · 2012 · author #1
- Quantifier Elimination over Finite Fields Using Gr\"obner Bases cs.SC · 2011 · author #1
Mentions
Frequent Coauthors
- Soonho Kong 9 shared papers
- Edmund Clarke 6 shared papers
- Edmund M. Clarke 4 shared papers
- Paolo Zuliani 3 shared papers
- Armando Solar-Lezama 2 shared papers
- Bing Liu 2 shared papers
- Jeremy Avigad 2 shared papers
- Andr\'e Platzer 1 shared papers
- Hao Su 1 shared papers
- Henrik I. Christensen 1 shared papers
- Jacek Cyranka 1 shared papers
- Jeevana Priya Inala 1 shared papers
- Md. Ariful Islam 1 shared papers
- Qinsi Wang 1 shared papers
- Quan Vuong 1 shared papers
- Radu Grosu 1 shared papers
- Scott A. Smolka 1 shared papers
- Sharad Vikram 1 shared papers
- Wei Chen 1 shared papers