Login / Signup
An Inductive Synthesis Framework for Verifiable Reinforcement Learning.
He Zhu
Zikang Xiong
Stephen Magill
Suresh Jagannathan
Published in:
CoRR (2019)
Keyphrases
</>
reinforcement learning
main contribution
information systems
lightweight
conceptual framework
real time
multiscale
probabilistic model
state space
inductive learning
function approximation