Login / Signup
Sharper and Simpler Nonlinear Interpolants for Program Verification.
Takamasa Okudono
Yuki Nishida
Kensuke Kojima
Kohei Suenaga
Kengo Kido
Ichiro Hasuo
Published in:
APLAS (2017)
Keyphrases
</>
interpolation method
machine learning
complementarity problems
neural network
website
nonlinear dynamics
highly nonlinear