| Security-preserving multi-agent coordination for complex temporal logic tasks X Yu, X Yin, S Li, Z Li Control Engineering Practice 123, 105130, 2022 | 32 | 2022 |
| Model predictive monitoring of dynamical systems for signal temporal logic specifications X Yu, W Dong, S Li, X Yin Automatica 160, 111445, 2024 | 17 | 2024 |
| Model predictive control for signal temporal logic specifications with time interval decomposition X Yu, C Wang, D Yuan, S Li, X Yin 2023 62nd IEEE Conference on Decision and Control (CDC), 7849-7855, 2023 | 10 | 2023 |
| Efficient STL control synthesis under asynchronous temporal robustness constraints X Yu, X Yin, L Lindemann 2023 62nd IEEE Conference on Decision and Control (CDC), 6847-6854, 2023 | 8 | 2023 |
| Online monitoring of dynamic systems for signal temporal logic specifications with model information X Yu, W Dong, X Yin, S Li 2022 IEEE 61st Conference on Decision and Control (CDC), 1553-1559, 2022 | 8 | 2022 |
| Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction X Yu, Y Zhao, X Yin, L Lindemann arXiv preprint arXiv:2312.04242, 2023 | 6 | 2023 |
| Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control D Yuan, X Yu, S Li, X Yin International Journal of Systems Science 55 (7), 1283-1303, 2024 | 4 | 2024 |
| Sleep when everything looks fine: Self-triggered monitoring for signal temporal logic tasks C Wang, X Yu, J Zhao, L Lindemann, X Yin IEEE Robotics and Automation Letters, 2024 | 2 | 2024 |
| Formal verification and control with conformal prediction L Lindemann, Y Zhao, X Yu, GJ Pappas, JV Deshmukh arXiv preprint arXiv:2409.00536, 2024 | 2 | 2024 |
| Conformal Predictive Programming for Chance Constrained Optimization Y Zhao*, X Yu*, JV Deshmukh, L Lindemann arXiv preprint arXiv:2402.07407, 2024 | 2 | 2024 |
| Self-Triggered Model Predictive Control for Signal Temporal Logic Tasks J Huang, C Wang, X Yu, X Yin 2024 IEEE 20th International Conference on Automation Science and …, 2024 | | 2024 |
