1. Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. Issue 5 (2021) Authors: Gaßmann, Victor; Althoff, Matthias Journal: IFAC-PapersOnLine Issue: Volume 54:Issue 5(2021) Page Start: 85 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗