Arbitrarily precise abstractions for optimal controller synthesis | IEEE Conference Publication | IEEE Xplore