Safety verification of implicitly defined MPC feedback laws | IEEE Conference Publication | IEEE Xplore