Login / Signup
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set.
Martin Schickel
Martin Oberkönig
Martin Schweikert
Hans Eveking
Published in:
FDL (2007)
Keyphrases
</>
desirable properties
real time
probability distribution
case study
reinforcement learning
small number
texture synthesis