Soy: An Efficient MILP Solver for Piecewise-Affine Systems.

Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett

Browse the full IROS paper archive.