Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints W Liu, N Mehdipour, C Belta IEEE Control Systems Letters, 2021 | 51 | 2021 |
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks W Liu, M Nishioka, C Belta 2023 IEEE International Conference on Robotics and Automation (ICRA), 2023 | 9* | 2023 |
Robust multi-agent coordination from catl+ specifications W Liu, K Leahy, Z Serlin, C Belta 2023 American Control Conference (ACC), 3529-3534, 2023 | 6 | 2023 |
Distributed control using reinforcement learning with temporal-logic-based reward shaping N Zhang, W Liu, C Belta Learning for Dynamics and Control Conference, 751-762, 2022 | 3 | 2022 |
Interpretable Generative Adversarial Imitation Learning W Liu, D Li, E Aasi, R Tron, C Belta arXiv preprint arXiv:2402.10310, 2024 | 1 | 2024 |
Learning robust and correct controllers from signal temporal logic specifications using barriernet W Liu, W Xiao, C Belta 2023 62nd IEEE Conference on Decision and Control (CDC), 7049-7054, 2023 | 1 | 2023 |
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications W Liu, K Leahy, Z Serlin, C Belta Learning for Dynamics and Control Conference, 705-717, 2023 | 1 | 2023 |