Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic Specifications
arXiv:2609.20954v1 Announce Type: new Abstract: 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 or reachability) in unknown environments. To do so, a Limit-Determinist…
Read the full story at arXiv cs.LG ↗
Timeline · 1 report
- 2026-09-21 04:00 · arXiv cs.LG
Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic Specifications