Sicun Gao

Available identifiers

zbMath Open gao.sicunMaRDI QIDQ2272928

List of research outcomes

Publication	Date of Publication	Type
Numerically-robust inductive proof rules for continuous dynamical systems	2024-02-16	Paper
Obituary: Edmund Melson Clarke jun. (1945--2020)	2023-10-30	Paper
Delta-decision procedures for exists-forall problems over the reals	2023-05-05	Paper
Interpolants in nonlinear theories over the reals	2019-09-17	Paper
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems	2017-05-19	Paper
Delta-Decidability over the Reals	2017-05-16	Paper
dReal: An SMT Solver for Nonlinear Theories over the Reals	2013-06-14	Paper
δ-Complete Decision Procedures for Satisfiability over the Reals	2012-09-05	Paper
Quantifier Elimination over Finite Fields Using Gröbner Bases	2011-07-08	Paper
A Non-prenex, Non-clausal QBF Solver with Game-State Learning	2010-09-29	Paper
Tight Continuous-Time Reachtubes for Lagrangian Reachability	N/A	Paper

Research outcomes over time

This page was built for person: Sicun Gao