Login / Signup
Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions.
Mingyu Cai
Cristian-Ioan Vasile
Published in:
CoRR (2021)
Keyphrases
</>
temporal logic
gaussian processes
reinforcement learning
model checking
gaussian process
gaussian process regression
preference learning
covariance function
human pose estimation
multi task learning
linear temporal logic
gaussian process models
learning process
multi task
symbolic model checking