Vince Kurtz

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 34

Top Topics

Piecewise Affine

Mazurkiewicz Traces

Motion Prediction

Top Venues

IEEE Control. Syst. Lett.

Publications

Vince Kurtz, Hai Lin
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets. CoRR (2023)
Vince Kurtz, Hai Lin
Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets. IEEE Trans. Robotics 39 (5) (2023)
Vince Kurtz, Alejandro Castro, Aykut Özgün Önol, Hai Lin
Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control. CoRR (2023)
Vince Kurtz, Hai Lin
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. CoRR (2022)
Vince Kurtz, Hai Lin
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. IEEE Control. Syst. Lett. 6 (2022)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Automatic Trajectory Synthesis for Real-Time Temporal Logic. IEEE Trans. Autom. Control. 67 (2) (2022)
Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. ICRA (2022)
Vince Kurtz, Hai Lin
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables. CoRR (2022)
Vince Kurtz, Hai Lin
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. IROS (2022)
Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. ACC (2022)
Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. CoRR (2022)
Vince Kurtz, Hai Lin
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. CoRR (2021)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Approximate Simulation for Template-Based Whole-Body Control. IEEE Robotics Autom. Lett. 6 (2) (2021)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Active Perception and Control from PrSTL Specifications. CoRR (2021)
Yann Gilpin, Vince Kurtz, Hai Lin
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. IEEE Control. Syst. Lett. 5 (1) (2021)
Vince Kurtz, Hai Lin
Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications. IEEE Control. Syst. Lett. 5 (4) (2021)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CoRR (2021)
Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. CoRR (2021)
Vince Kurtz, Hai Lin
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. ACC (2021)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CDC (2021)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. CoRR (2020)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. ACC (2020)
Vince Kurtz, Patrick M. Wensing, Michael D. Lemmon, Hai Lin
Approximate Simulation for Template-Based Whole-Body Control. CoRR (2020)
Yann Gilpin, Vince Kurtz, Hai Lin
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. CoRR (2020)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Automatic Trajectory Synthesis for Real-Time Temporal Logic. CoRR (2020)
Vince Kurtz, Hai Lin
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. CoRR (2020)
Vince Kurtz, Hai Lin
Kalman Filtering with Gaussian Processes Measurement Noise. CoRR (2019)
Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
Formal Connections between Template and Anchor Models via Approximate Simulation. CoRR (2019)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Active Perception and Control from Temporal Logic Specifications. CoRR (2019)
Vince Kurtz, Hai Lin
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis. CoRR (2019)
Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
Formal Connections between Template and Anchor Models via Approximate Simulation. Humanoids (2019)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Active Perception and Control From Temporal Logic Specifications. IEEE Control. Syst. Lett. 3 (4) (2019)
Vince Kurtz, Hai Lin
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. ACC (2019)
Dhruv Mauria Saxena, Vince Kurtz, Martial Hebert
Learning robust failure response for autonomous vision based flight. ICRA (2017)