Resilience to intermittent assumption violations in reactive synthesis.

Rüdiger Ehlers Ufuk Topcu

Published in: HSCC (2014)

Keyphrases

program synthesis
machine learning
neural network
expert systems
reactive planning
information retrieval
genetic algorithm
training data
bayesian networks
constraint violations