Abstraction-guided synthesis of synchronization.

Martin T. Vechev Eran Yahav Greta Yorsh

Published in: POPL (2010)

Keyphrases

concurrent processes
high level
program synthesis
data sets
bayesian networks
texture synthesis
chaotic systems
decision theoretic planning