Skip to main content

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

Year
2017