**WiseMove** is safe reinforcement learning framework that combines hierarchical reinforcement learning and safety verification using temporal logic constraints.
<b>High-level policy training (before and after)</b>
</p>
**WiseMove** is safe reinforcement learning framework that combines hierarchical reinforcement learning and safety verification using temporal logic constraints.