Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.

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

Browse the full CAV paper archive.