Sicun Gao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Numerically-robust inductive proof rules for continuous dynamical systems Computer Aided Verification	2024-02-16	Paper
Obituary: Edmund Melson Clarke jun. (1945--2020) Formal Methods in System Design	2023-10-30	Paper
Delta-decision procedures for exists-forall problems over the reals Computer Aided Verification	2023-05-05	Paper
Delta-decision procedures for exists-forall problems over the reals Computer Aided Verification	2023-05-05	Paper
Interpolants in nonlinear theories over the reals	2019-09-17	Paper
SMT-based analysis of virtually synchronous distributed hybrid systems Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
\(\delta\)-decidability over the reals 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
dReal: an SMT solver for nonlinear theories over the reals Automated Deduction – CADE-24	2013-06-14	Paper
\(\delta \)-complete decision procedures for satisfiability over the reals Automated Reasoning	2012-09-05	Paper
\(\delta \)-complete decision procedures for satisfiability over the reals Automated Reasoning	2012-09-05	Paper
Quantifier elimination over finite fields using Gröbner bases Algebraic Informatics	2011-07-08	Paper
A non-prenex, non-clausal QBF solver with game-state learning Theory and Applications of Satisfiability Testing – SAT 2010	2010-09-29	Paper
Tight Continuous-Time Reachtubes for Lagrangian Reachability (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Sicun Gao