Kurtz, Vince

1. A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control
   2020/06/09 by Gilpin, Yann, Kurtz, Vince, Lin, Hai · 8 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
   2022/04/13 by Vince Kurtz, Kurtz, Vince, Hai Lin +1 · 7 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotics (cs.RO) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets
   2023/01/18 by Vince Kurtz, Kurtz, Vince, Hai Lin +1 · 7 citations
   Chemistry · Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Robotic Path Planning Algorithms #Robotics (cs.RO) #Synthetic Organic Chemistry Methods #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR
   2022/02/28 by Kurtz, Vince, Lin, Hai · 4 citations
   #FOS: Computer and information sciences #Robotics (cs.RO)
5. DROP: Dexterous Reorientation via Online Planning
   2024/09/22 by Li, Albert H., Culbertson, Preston, Kurtz, Vince +1 · 7 citations
   #FOS: Computer and information sciences #Robotics (cs.RO)
6. Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control
   2023/09/04 by Kurtz, Vince, Castro, Alejandro, Önol, Aykut Özgün +1 · 4 citations
   #FOS: Computer and information sciences #Robotics (cs.RO)
7. Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications
   2020/11/13 by Kurtz, Vince, Lin, Hai · 2 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
8. Formal Connections between Template and Anchor Models via Approximate Simulation
   2019/09/20 by Kurtz, Vince, da Silva, Rafael Rodrigues, Wensing, Patrick M. +1 · 1 citation
   #FOS: Computer and information sciences #Robotics (cs.RO)
9. Approximate Simulation for Template-Based Whole-Body Control
   2020/06/17 by Kurtz, Vince, Wensing, Patrick M., Lin, Hai · 1 citation
   #FOS: Computer and information sciences #Robotics (cs.RO)
10. Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control
    2021/09/27 by Kurtz, Vince, Wensing, Patrick M., Lin, Hai · 1 citation
    #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
11. A More Scalable Mixed-Integer Encoding for Metric Temporal Logic
    2021/12/02 by Kurtz, Vince, Lin, Hai · 1 citation
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
12. Generative Predictive Control: Flow Matching Policies for Dynamic and Difficult-to-Demonstrate Tasks
    2025/02/19 by Kurtz, Vince, Burdick, Joel W. · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
13. Equality Constrained Diffusion for Direct Trajectory Optimization
    2024/10/02 by Kurtz, Vince, Burdick, Joel W. · 1 citation
    #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering