Login / Signup
Patrick Halder
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Climbing Robot
Mixed Integer Program
Mazurkiewicz Traces
Temporally Extended Goals
Top Venues
ITSC
</>
Publications
</>
Patrick Halder
,
Fabian Christ
,
Matthias Althoff
Lexicographic Mixed-Integer Motion Planning with STL Constraints.
ITSC
(2023)
Patrick Halder
,
Matthias Althoff
Minimum-Violation Velocity Planning with Temporal Logic Constraints.
ITSC
(2022)