| 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 | 76 | 2020 |
| Mixed-integer programming for signal temporal logic with fewer binary variables V Kurtz, H Lin IEEE Control Systems Letters 6, 2635-2640, 2022 | 42 | 2022 |
| 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 2022 International Conference on Robotics and Automation (ICRA), 4635-4641, 2022 | 30 | 2022 |
| 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 | 24 | 2017 |
| Active perception and control from temporal logic specifications RR da Silva, V Kurtz, H Lin IEEE Control Systems Letters 3 (4), 1068-1073, 2019 | 21 | 2019 |
| Toward verifiable real-time obstacle motion prediction for dynamic collision avoidance V Kurtz, H Lin 2019 American Control Conference (ACC), 2633-2638, 2019 | 16 | 2019 |
| Contact-implicit trajectory optimization with hydroelastic contact and ilqr V Kurtz, H Lin 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022 | 14 | 2022 |
| Approximate simulation for template-based whole-body control V Kurtz, PM Wensing, H Lin IEEE Robotics and Automation Letters 6 (2), 558-565, 2020 | 12 | 2020 |
| Control barrier functions for singularity avoidance in passivity-based manipulator control V Kurtz, PM Wensing, H Lin 2021 60th IEEE Conference on Decision and Control (CDC), 6125-6130, 2021 | 10 | 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 | 9 | 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 | 9 | 2019 |
| A more scalable mixed-integer encoding for metric temporal logic V Kurtz, H Lin IEEE Control Systems Letters 6, 1718-1723, 2021 | 8 | 2021 |
| Automatic trajectory synthesis for real-time temporal logic RR da Silva, V Kurtz, H Lin IEEE Transactions on Automatic Control 67 (2), 780-794, 2021 | 8 | 2021 |
| Temporal logic motion planning with convex optimization via graphs of convex sets V Kurtz, H Lin IEEE Transactions on Robotics, 2023 | 7 | 2023 |
| Trajectory optimization for high-dimensional nonlinear systems under STL specifications V Kurtz, H Lin IEEE Control Systems Letters 5 (4), 1429-1434, 2020 | 7 | 2020 |
| Active perception and control from prstl specifications RR da Silva, V Kurtz, H Lin arXiv preprint arXiv:2111.02226, 2021 | 5 | 2021 |
| Kalman filtering with Gaussian processes measurement noise V Kurtz, H Lin arXiv preprint arXiv:1909.10582, 2019 | 5 | 2019 |
| Inverse dynamics trajectory optimization for contact-implicit model predictive control V Kurtz, A Castro, AÖ Önol, H Lin arXiv preprint arXiv:2309.01813, 2023 | 4 | 2023 |
| 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 | 4 | 2021 |
| Bayesian optimization for polynomial time probabilistically complete STL trajectory synthesis V Kurtz, H Lin arXiv preprint arXiv:1905.03051, 2019 | 3 | 2019 |
Hai LinElectrical Engineering, University of Notre Dame在 nd.edu 的电子邮件经过验证
