An approach for dynamic selection of synthesis transformations based on Markov Decision Processes.

Tobias Welp, Andreas Kuehlmann

Browse the full DATE paper archive.