C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Safety Verification of Model Based Reinforcement Learning Controllers.
Akshita Gupta
Inseok Hwang
Published in:
CoRR (2020)
Keyphrases
</>
model based reinforcement learning
reinforcement learning
markov decision processes
model checking
logic programs
optimal control