C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SAT-Based Synthesis Methods for Safety Specs.
Roderick Bloem
Robert Könighofer
Martina Seidl
Published in:
CoRR (2013)
Keyphrases
</>
real time
computational cost
neural network
reinforcement learning
preprocessing
probabilistic model
benchmark datasets
machine learning methods
search strategies
qualitative and quantitative