An efficient fully sequential selection procedure guaranteeing probably approximately correct selection | IEEE Conference Publication | IEEE Xplore