Cover Image

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Halder, Patrick, Kiltz, Lothar, Homburger, Hannes, Reuter, Johannes, Althoff, Matthias
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

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

Gauss-Newton accelerated MPPI Control
by: Homburger, Hannes, et al.
Published: (2025)

Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach
by: Külz, Jonathan, et al.
Published: (2023)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
by: Kalluraya, Samarth, et al.
Published: (2024)

Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
by: Kochdumper, Niklas, et al.
Published: (2024)

Solgenia -- A Test Vessel Toward Energy-Efficient Autonomous Water Taxi Applications
by: Homburger, Hannes, et al.
Published: (2025)

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition
by: Ren, Jiming, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, 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)

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
by: Sewlia, Mayank, et al.
Published: (2023)

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

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

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
by: Taheri, Azizollah, et al.
Published: (2025)

Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
by: Wei, Zhongqi, et al.
Published: (2025)

Efficient Lexicographic Optimization for Prioritized Robot Control and Planning
by: Pfeiffer, Kai, et al.
Published: (2024)

Toward a Decision Support System for Energy-Efficient Ferry Operation on Lake Constance based on Optimal Control
by: Homburger, Hannes, et al.
Published: (2025)

Holistic Optimization of Modular Robots
by: Mayer, Matthias, et al.
Published: (2025)

Smart placement, faster robots-a comparison of algorithms for robot base-pose optimization
by: Mayer, Matthias, et al.
Published: (2025)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

A Value Function Space Approach for Hierarchical Planning with Signal Temporal Logic Tasks
by: Liu, Peiran, et al.
Published: (2024)

Results of the 2024 CommonRoad Motion Planning Competition for Autonomous Vehicles
by: Huang, Yanliang, et al.
Published: (2025)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

T3 Planner: A Self-Correcting LLM Framework for Robotic Motion Planning with Temporal Logic
by: Li, Jia, et al.
Published: (2025)

Multi-Objective Planning with Contextual Lexicographic Reward Preferences
by: Rustagi, Pulkit, et al.
Published: (2025)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

CoBRA: A Composable Benchmark for Robotics Applications
by: Mayer, Matthias, et al.
Published: (2022)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Conformal Temporal Logic Planning using Large Language Models
by: Wang, Jun, et al.
Published: (2023)

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
by: Tang, Chencheng, et al.
Published: (2024)

Reachset-Conformant System Identification
by: Lützow, Laura, et al.
Published: (2024)

Optimality and Suboptimality of MPPI Control in Stochastic and Deterministic Settings
by: Homburger, Hannes, et al.
Published: (2025)

Automatic Geometric Decomposition for Analytical Inverse Kinematics
by: Ostermeier, Daniel, et al.
Published: (2024)

Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
by: Thumm, Jakob, et al.
Published: (2023)

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis
by: Lin, Yuanfei, 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)

Kineto-Dynamical Planning and Accurate Execution of Minimum-Time Maneuvers on Three-Dimensional Circuits
by: Piccinini, Mattia, et al.
Published: (2025)

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
by: Lin, Yuanfei, et al.
Published: (2024)