Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Daniel Kroening Alessandro Abate Iury Bessa Dario Cattaruzza Lucas C. Cordeiro Cristina David Pascal Kesseli