@misc{indiciae4ff9a8d07dec,
  title = {Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach},
  author = {Gregorio Marchesini and Siyuan Liu and Lars Lindemann and Dimos V. Dimarogonas},
  year = {2025},
  url = {https://arxiv.org/abs/2506.10739},
  note = {Source identifier: 2506.10739}
}