Safety Controller Synthesis for Automated Vehicles Systems with Input Saturation | IEEE Conference Publication | IEEE Xplore