Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
arXiv:2506.01167v2 Announce Type: replace
Abstract: Ensuring that reinforcement learning (RL) controllers satisfy safety and reliability constraints in real-world settings remains challenging: state-avoidance and constrained Markov decision processes …