C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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