Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic Specifications

Jonathan Hau, Alessandro Abate

We present a novel end-to-end model-based Reinforcement Learning (RL) algorithm for efficient policy synthesis under given Linear Temporal Logic (LTL) specifications (e.g., safety…