Automated and certified conformance to responsiveness policies.

Joseph Vanderwaart Karl Crary

Published in: TLDI (2005)

Keyphrases

semi automated
data driven
optimal policy
computer aided
real time
real world
fully automated
control policies
neural network
machine learning
learning algorithm
decision trees
search algorithm
context sensitive
automated analysis