Showing 1 - 2 results of 2 for search 'Gao, Sicun', query time: 0.02s Refine Results
  1. 1
    Delta-Decision Procedures for Exists-Forall Problems over the Reals

    Delta-Decision Procedures for Exists-Forall Problems over the Reals by Kong, Soonho, Solar-Lezama, Armando, Gao, Sicun

    Published 2021
    Get full text
    Article
  2. 2
    Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems

    Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems by Gao, Sicun, Kapinski, James, Deshmukh, Jyotirmoy, Roohi, Nima, Solar Lezama, Armando, Arechiga, Nikos, Kong, Soonho

    Published 2022
    Get full text
    Article

Search Tools: