Tobias Welp, Andreas Kuehlmann
An approach for dynamic selection of synthesis transformations based on Markov Decision Processes
DATE, 2011.
@inproceedings{DATE-2011-WelpK,
author = "Tobias Welp and Andreas Kuehlmann",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "1533--1536",
publisher = "{IEEE}",
title = "{An approach for dynamic selection of synthesis transformations based on Markov Decision Processes}",
year = 2011,
}