Safe Planning via Temporal Decomposition of STL

A theory for Temporal Decomposition of Requirements

This work was accepted to NASA formal Methods 2024. Our goal was to show decomposing STL specifications can combine the correctness of specification guided synthesis to efficient convex optimization for trajectory synthesis. Here is a link to the paper for more information.