2 papers
cs.RO2026
Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
Patrick Halder, Lothar Kiltz, Hannes Homburger +2
Motion planning for autonomous vehicles often requires satisfying multiple conditionally conflicting specifications. In situations where not all specifications can be met simultane…
eess.SY2025
Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
Patrick Halder, Hannes Homburger, Lothar Kiltz +2
Formulating the intended behavior of a dynamic system can be challenging. Signal temporal logic (STL) is frequently used for this purpose due to its suitability in formalizing comp…