# Sicun Gao

According to our database

Collaborative distances:

^{1}, Sicun Gao authored at least 42 papers between 2010 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies?

CoRR, 2019

Neural Lyapunov Control.

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

ROAD: Routability Analysis and Diagnosis Framework Based on SAT Techniques.

Proceedings of the 2019 International Symposium on Physical Design, 2019

VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties.

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Inverse Abstraction of Neural Networks Using Symbolic Interpolation.

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

REAS: Combining Numerical Optimization with SAT Solving.

CoRR, 2018

LEMAX: learning-based energy consumption minimization in approximate computing with quality guarantee.

Proceedings of the 55th Annual Design Automation Conference, 2018

Tight Continuous-Time Reachtubes for Lagrangian Reachability.

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Delta-Decision Procedures for Exists-Forall Problems over the Reals.

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Learning-Based Abstractions for Nonlinear Constraint Solving.

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Modular SMT-based analysis of nonlinear hybrid systems.

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

2016

Interpolants in Nonlinear Theories Over the Reals.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

dReach: δ-Reachability Analysis for Hybrid Systems.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Towards personalized prostate cancer therapy using delta-reachability analysis.

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

SMT Encoding of Hybrid Systems in dReal.

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.

Proceedings of the Computational Methods in Systems Biology, 2015

Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems.

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

SMT-Based Nonlinear PDDL+ Planning.

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty.

CoRR, 2014

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.

CoRR, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions.

CoRR, 2014

Delta-Complete Analysis for Bounded Reachability of Hybrid Systems.

CoRR, 2014

Revisiting the Complexity of Stability of Continuous and Hybrid Systems.

CoRR, 2014

Descriptive Control Theory: A Proposal.

CoRR, 2014

Proof Generation from Delta-Decisions.

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Model Checking Hybrid Systems - (Invited Talk).

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Medical Cyber-Physical Systems - (Track Introduction).

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions.

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Satisfiability modulo ODEs.

Proceedings of the Formal Methods in Computer-Aided Design, 2013

dReal: An SMT Solver for Nonlinear Theories over the Reals.

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Delta-Complete Decision Procedures for Satisfiability over the Reals

CoRR, 2012

Delta-Decidability over the Reals.

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

δ-Complete Decision Procedures for Satisfiability over the Reals.

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Quantifier Elimination over Finite Fields Using Gröbner Bases.

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

2010

A Non-prenex, Non-clausal QBF Solver with Game-State Learning.

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010