Soy: An Efficient MILP Solver for Piecewise-Affine Systems

Published in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'23), 2023