Concepedia

Vince Kurtz

VK

Statistics

Publications

13

Citations

338

H-Index

11

Active since

2017

Affiliations

University of Notre Dame(Current)

Vince Kurtz is an author at University of Notre Dame specializing in computer science, robotics, and robotics engineering.

Publications per year

2017–2025

13

Publications

13

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

Yann Gilpin, Vince Kurtz, Hai Lin · IEEE Control Systems Letters · 2020 · 93 citations

Computing, Computer Science, Algorithms +13

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables

Vince Kurtz, Hai Lin · IEEE Control Systems Letters · 2022 · 71 citations

Computing, Computer Science, Robotics Engineering +14

Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics

Vince Kurtz, He Li, Patrick M. Wensing et al. · 2022 International Conference on Robotics and Automation (ICRA) · 2022 · 39 citations

Engineering, Computer Science, Robotics Engineering +13

Learning robust failure response for autonomous vision based flight

Dhruv Saxena, Vince Kurtz, Martial Hebert · 2017 · 17 citations

Engineering, Autonomous Systems, Robotics Engineering +15

Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance

Vince Kurtz, Hai Lin · 2019 · 17 citations

Computing, Autonomous Systems, Computer Science +17

1–5 of 13