A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks

Peiran Liu, Yiting He, Yihao Qin +2

Signal Temporal Logic (STL) has emerged as an expressive language for reasoning intricate planning objectives. However, existing STL-based methods often assume full observation and…