Memory efficient symbolic solution of quantitative reach-avoid problems | IEEE Conference Publication | IEEE Xplore