TY  - RPRT
TI  - DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing
AU  - Yuandong Cyrus Liu
AU  - Ton-Chanh Le
AU  - Timos Antonopoulos
AU  - Eric Koskinen
AU  - ThanhVu Nguyen
PY  - 2023
UR  - https://arxiv.org/abs/2306.15584
ID  - 2306.15584
ER  -