**WISEMove** is safe reinforcement learning framework that combines hierarchical reinforcement learning and safety verification using temporal logic constraints.
High-level Policy | Low-level Training (Before and After)
High-level Policy | Low-level Training (Before and After)
**WISEMove** is safe reinforcement learning framework that combines hierarchical reinforcement learning and safety verification using temporal logic constraints.