Learning-Based Abstractions for Nonlinear Constraint Solving.

Sumanth Dathathri, Nikos Archiga, Sicun Gao, Richard M. Murray

Browse the full IJCAI paper archive.