Efficient Hybrid Hard--Soft Signal Temporal Logic MPC for Driving under Multimodal Uncertainty

Abstract

Motion planning for automated vehicles in interactive traffic has to simultaneously ensure safety, respect traffic rules, and maintain comfortable progress under multi-modal behavior uncertainty. Imposing all these requirements as hard constraints reduces feasibility, whereas treating them all as costs allows safety-critical requirements to be traded against progress. We propose a hybrid hard--soft Signal Temporal Logic (STL) MPC framework that optimizes a single shared ego trajectory against every retained behavior hypothesis: minimum-distance and speed predicates are imposed as explicit hard constraints, while soft STL robustness terms shape clearance, comfort, and interaction quality within the resulting feasible driving corridor. This retains robustness to discrete interaction modes without branch-specific contingent ego policies. We further identify substantial symbolic graph-construction overhead and introduce reachability-certified relevance screening and vectorized symbolic construction to reduce computational cost while preserving the feasible set and objective. Closed-loop Monte Carlo evaluation over six highway and intersection scenarios shows the highest strict success rate among the compared planners with no observed collisions or rule violations, at roughly a quarter of the planning latency of the unoptimized formulation. An ablation study separates the two layers: the hard constraints define the safety envelope, while the soft terms improve clearance and motion quality within it.

The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.

More in Robotics

• arXiv preprint · 11 October 2026

  An Open MuJoCo Simulation Framework for a Quadrotor Carrying a Tendon-Driven Soft Continuum Arm

  Haitham El-Hussieny
• arXiv preprint · 12 October 2026

  CIPHEUR: LLM-Guided Structural Search Control for Conflict-Graph Optimization

  Yuqing Cheng, Yan Jia, Yanjie Song and 3 others
• arXiv preprint · 11 October 2026

  Sensing via whole-body interactions with complex terrains: physical insights from robotic models

  Chen Li
• arXiv preprint · 12 October 2026

  Learning Reachability-Based Safety Representations for Real-Time Robot Navigation in Unknown and Dynamic Environments

  Bojan Derajić
• arXiv preprint · 11 October 2026

  A Reinforcement Learning Framework for Safety-Aware Haptic Shared Control in Surgical Robotics

  Zihao Zhang, Karl Handwerker and Balint Varga

All new papers in Robotics