Login / Signup
SCOTS: A Tool for the Synthesis of Symbolic Controllers.
Matthias Rungger
Majid Zamani
Published in:
HSCC (2016)
Keyphrases
</>
controller synthesis
user friendly
connectionist systems
reinforcement learning
bayesian networks
high level
control system
expert systems
data analysis
search algorithm
database
metadata
e learning
feature selection
computer vision
social networks
artificial intelligence
learning algorithm
real world
real time