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