A convergent procedure for partially-reachable states | IEEE Conference Publication | IEEE Xplore