Login / Signup
An inductive synthesis framework for verifiable reinforcement learning.
He Zhu
Zikang Xiong
Stephen Magill
Suresh Jagannathan
Published in:
PLDI (2019)
Keyphrases
</>
reinforcement learning
main contribution
real time
decision trees
conceptual framework
database
feature selection
metadata
multi agent
expert systems
probabilistic model
function approximation