Beyond Ellipsoids: Semi-Algebraic Tightening for Chance Constraints Under Actuator Saturation | Digital Library | PAMCET | PAMCET