Login / Signup
Vincent Kurtz
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 3
Top Topics
Walking Robot
Sensory Motor
Binary Variables
Collision Avoidance
Top Venues
IEEE Control. Syst. Lett.
CoRR
ACC
</>
Publications
</>
Vincent Kurtz
,
Hai Lin
Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables.
IEEE Control. Syst. Lett.
6 (2022)
Michael D. Lemmon
,
Patrick M. Wensing
,
Vincent Kurtz
,
Hai Lin
to Control Robot Hopping over Uneven Terrain.
ACC
(2022)
Vincent Kurtz
,
Hai Lin
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance.
CoRR
(2018)