A Formally Verified Plasma Vertical Position Control Algorithm.

May Wu, Jessie C. Rosenberg, Nathan Fulton

Browse the full FMICS paper archive.