QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.

Pushpak Jagtap Majid Zamani

Published in: QEST (2017)

Keyphrases

state space
reinforcement learning
heuristic search
control system
dynamic programming
program synthesis
symbolic representation
markov chain
particle filter
software tools
optimal policy
state variables
dynamical systems
data sets
markov decision processes
real time
neural network
reinforcement learning algorithms