Our paper titled “Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications” was accepted to Nasa Formal Methods 2024!