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…