Deep Reinforcement Learning;Differentiable Formal Specification Language;Robot Navigation;Robot Planning and Control
Constrained Hierarchical Deep Reinforcement Learning with Differentiable Formal Specifications