Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic Specifications

arXiv:2609.20954 · cs.LG · Submitted 2026-09-17 · Read on arXiv

cs.LG

Submitted: 2026-09-17

Updated: 2026-09-21

Comments: ©~2026 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Reinforcement Learning — 2× in this paper · explained in 4 episodes
• Ablation — 1× in this paper · explained in 1 episode
• Ablation Studies — 1× in this paper · explained in 1 episode
• Bayes-Adaptive Markov Decision Process — 1× in this paper
• Bayes-Adaptive Monte-Carlo Planning — 1× in this paper
• Linear Temporal Logic — 1× in this paper
• Linear Temporal Logic (LTL) — 1× in this paper · explained in 4 episodes
• Reinforcement Learning (RL) — 1× in this paper · explained in 25 episodes
• Sample Efficiency — 1× in this paper · explained in 4 episodes

Related papers

• Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
• AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
• Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
• Convergence issues in Relational Concept Analysis based on AOC-posets
• Beliefs Beyond Posteriors: Local-Consistency Optimisation for Bayesian Neural Networks
• Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks