Verifying Performance of Supervised Plants | IEEE Conference Publication | IEEE Xplore