Vincent Kurtz

Orcid: 0000-0001-5939-353X

According to our database1, Vincent Kurtz authored at least 22 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets.
IEEE Trans. Robotics, October, 2023

Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control.
CoRR, 2023

2022
Automatic Trajectory Synthesis for Real-Time Temporal Logic.
IEEE Trans. Autom. Control., 2022

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables.
IEEE Control. Syst. Lett., 2022

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic.
IEEE Control. Syst. Lett., 2022

Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances.
Proceedings of the American Control Conference, 2022

to Control Robot Hopping over Uneven Terrain.
Proceedings of the American Control Conference, 2022

2021
Approximate Simulation for Template-Based Whole-Body Control.
IEEE Robotics Autom. Lett., 2021

Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications.
IEEE Control. Syst. Lett., 2021

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control.
IEEE Control. Syst. Lett., 2021

Active Perception and Control from PrSTL Specifications.
CoRR, 2021

Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Approximate Simulation for Template-Based Whole-Body Control.
CoRR, 2020

Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances.
Proceedings of the 2020 American Control Conference, 2020

2019
Active Perception and Control From Temporal Logic Specifications.
IEEE Control. Syst. Lett., 2019

Kalman Filtering with Gaussian Processes Measurement Noise.
CoRR, 2019

Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis.
CoRR, 2019

Formal Connections between Template and Anchor Models via Approximate Simulation.
Proceedings of the 19th IEEE-RAS International Conference on Humanoid Robots, 2019

Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance.
Proceedings of the 2019 American Control Conference, 2019

2017
Learning robust failure response for autonomous vision based flight.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017


  Loading...