| A smooth robustness measure of signal temporal logic for symbolic control Y Gilpin, V Kurtz, H Lin IEEE Control Systems Letters 5 (1), 241-246, 2020 | 19 | 2020 |
| Learning robust failure response for autonomous vision based flight DM Saxena, V Kurtz, M Hebert 2017 IEEE International Conference on Robotics and Automation (ICRA), 5824-5829, 2017 | 18 | 2017 |
| Toward verifiable real-time obstacle motion prediction for dynamic collision avoidance V Kurtz, H Lin 2019 American Control Conference (ACC), 2633-2638, 2019 | 11 | 2019 |
| Active perception and control from temporal logic specifications RR da Silva, V Kurtz, H Lin IEEE Control Systems Letters 3 (4), 1068-1073, 2019 | 8 | 2019 |
| Approximate simulation for template-based whole-body control V Kurtz, PM Wensing, H Lin IEEE Robotics and Automation Letters 6 (2), 558-565, 2020 | 7 | 2020 |
| Formal connections between template and anchor models via approximate simulation V Kurtz, RR da Silva, PM Wensing, H Lin 2019 IEEE-RAS 19th International Conference on Humanoid Robots (Humanoids …, 2019 | 5 | 2019 |
| Automatic trajectory synthesis for real-time temporal logic R Rodriguesdasilva, V Kurtz, H Lin IEEE Transactions on Automatic Control, 2021 | 4 | 2021 |
| Robust approximate simulation for hierarchical control of linear systems under disturbances V Kurtz, PM Wensing, H Lin 2020 American Control Conference (ACC), 5352-5357, 2020 | 4 | 2020 |
| Kalman filtering with Gaussian processes measurement noise V Kurtz, H Lin arXiv preprint arXiv:1909.10582, 2019 | 4 | 2019 |
| Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics V Kurtz, H Li, PM Wensing, H Lin arXiv preprint arXiv:2109.04424, 2021 | 2 | 2021 |
| Trajectory optimization for high-dimensional nonlinear systems under STL specifications V Kurtz, H Lin IEEE Control Systems Letters 5 (4), 1429-1434, 2020 | 2 | 2020 |
| Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis V Kurtz, H Lin arXiv preprint arXiv:1905.03051, 2019 | 2 | 2019 |
| A More Scalable Mixed-Integer Encoding for Metric Temporal Logic V Kurtz, H Lin IEEE Control Systems Letters 6, 1718-1723, 2021 | 1 | 2021 |
| Active Perception and Control from PrSTL Specifications RR da Silva, V Kurtz, H Lin arXiv preprint arXiv:2111.02226, 2021 | 1 | 2021 |
| Symbolic Control of Hybrid Systems from Signal Temporal Logic Specifications RR da Silva, V Kurtz, H Lin Guidance, Navigation and Control 1 (02), 2150008, 2021 | 1 | 2021 |
| Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables V Kurtz, H Lin IEEE Control Systems Letters, 2022 | | 2022 |
| Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances Z Song, V Kurtz, S Welikala, PJ Antsaklis, H Lin arXiv preprint arXiv:2203.02084, 2022 | | 2022 |
| Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR V Kurtz, H Lin arXiv preprint arXiv:2202.13986, 2022 | | 2022 |
| Active Perception and Control from PrSTL Specifications R Rodrigues da Silva, V Kurtz, H Lin arXiv e-prints, arXiv: 2111.02226, 2021 | | 2021 |
| Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control V Kurtz, PM Wensing, H Lin arXiv preprint arXiv:2109.13349, 2021 | | 2021 |
Hai LinElectrical Engineering, University of Notre DameAdresse e-mail validée de nd.edu
