Oracle based approach to admissible invariant sets | IEEE Conference Publication | IEEE Xplore