Cover Image

STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zheng, Hongrui, Zang, Zirui, Amine, Ahmad, Vasile, Cristian Ioan, Mangharam, Rahul
Format:	Preprint
Published:	2026
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

PoseINN: Realtime Visual-based Pose Regression and Localization with Invertible Neural Networks
by: Zang, Zirui, et al.
Published: (2024)

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
by: Kamale, Disha, et al.
Published: (2025)

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
by: Kamale, Disha, et al.
Published: (2024)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
by: Karagulle, Ruya, et al.
Published: (2025)

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
by: Luo, Licheng, et al.
Published: (2026)

SIT-LMPC: Safe Information-Theoretic Learning Model Predictive Control for Iterative Tasks
by: Zang, Zirui, et al.
Published: (2026)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
by: Cardona, Gustavo A., et al.
Published: (2025)

Nonplanar Model Predictive Control for Autonomous Vehicles with Recursive Sparse Gaussian Process Dynamics
by: Amine, Ahmad, et al.
Published: (2026)

Bridging the Gap between Discrete Agent Strategies in Game Theory and Continuous Motion Planning in Dynamic Environments
by: Zheng, Hongrui, et al.
Published: (2024)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
by: Halder, Patrick, et al.
Published: (2025)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
by: Dietrich, Elizabeth, et al.
Published: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Spline-Interpolated Model Predictive Path Integral Control with Stein Variational Inference for Reactive Navigation
by: Miura, Takato, et al.
Published: (2024)

Stein-based Optimization of Sampling Distributions in Model Predictive Path Integral Control
by: Aldrich, Jace, et al.
Published: (2025)

Multiagent Social Influence: Modeling Persuasion in Contested Social Networks
by: Tumu, Renukanandan, et al.
Published: (2025)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Stein Variational Guided Model Predictive Path Integral Control: Proposal and Experiments with Fast Maneuvering Vehicles
by: Honda, Kohei, et al.
Published: (2023)

GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning
by: Hou, Ancheng, et al.
Published: (2026)

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Constrained Stein Variational Trajectory Optimization
by: Power, Thomas, et al.
Published: (2023)

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
by: Liang, Kaier, et al.
Published: (2023)

AdaptNC: Adaptive Nonconformity Scores for Conformal Prediction under Distribution Shift
by: Tumu, Renukanandan, et al.
Published: (2026)

TACO: Temporal Consensus Optimization for Continual Neural Mapping
by: Zhou, Xunlan, et al.
Published: (2026)

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
by: Han, Shaohang, et al.
Published: (2025)

Stein Variational Ergodic Search
by: Lee, Darrick, et al.
Published: (2024)

An Operator-Based Approach to STL
by: Rousseas, Panagiotis, et al.
Published: (2026)

RRT$^η$: Sampling-based Motion Planning and Control from STL Specifications using Arithmetic-Geometric Mean Robustness
by: Ahmad, Ahmad, et al.
Published: (2026)

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
by: Liang, Kaier, et al.
Published: (2024)

Signal Temporal Logic Planning with Time-Varying Robustness
by: Yuan, Yating, et al.
Published: (2024)

A Bimanual Gesture Interface for ROS-Based Mobile Manipulators Using TinyML and Sensor Fusion
by: Bhuiyan, Najeeb Ahmed, et al.
Published: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

MEGA-DAgger: Imitation Learning with Multiple Imperfect Experts
by: Sun, Xiatao, et al.
Published: (2023)

Signal Temporal Logic Compliant Co-design of Planning and Control
by: Juvvi, Manas Sashank, et al.
Published: (2025)

Stein Variational Belief Propagation for Multi-Robot Coordination
by: Pavlasek, Jana, et al.
Published: (2023)

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
by: Halder, Patrick, et al.
Published: (2026)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
by: Lin, Xuan, et al.
Published: (2024)