TY - RPRT TI - STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization AU - Hongrui Zheng AU - Zirui Zang AU - Ahmad Amine AU - Cristian Ioan Vasile AU - Rahul Mangharam PY - 2026 UR - https://arxiv.org/abs/2603.13333 ID - 2603.13333 ER -