Scalable Robust Controller Synthesis for Computing Safe Sets - Gruber, Felix Kevin (2023)