An approach for dynamic selection of synthesis transformations based on Markov Decision Processes | IEEE Conference Publication | IEEE Xplore