TY  - RPRT
TI  - Soy: An Efficient MILP Solver for Piecewise-Affine Systems
AU  - Haoze Wu
AU  - Min Wu
AU  - Dorsa Sadigh
AU  - Clark Barrett
PY  - 2023
UR  - https://arxiv.org/abs/2303.13697
ID  - 2303.13697
ER  -