Targeted adversarial attacks against neural network trajectory predictors K Tan, J Wang, Y Kantaros Learning for Dynamics and Control Conference, 431-444, 2023 | 13 | 2023 |
Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction J Wang, G He, Y Kantaros arXiv preprint arXiv:2402.15368, 2024 | 10 | 2024 |
Conformal temporal logic planning using large language models J Wang, J Tong, K Tan, Y Vorobeychik, Y Kantaros arXiv preprint arXiv:2309.10092, 2023 | 9 | 2023 |
Verified compositions of neural network controllers for temporal logic control objectives J Wang, S Kalluraya, Y Kantaros 2022 IEEE 61st Conference on Decision and Control (CDC), 4004-4009, 2022 | 6 | 2022 |
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications J Wang, H Hasanbeig, K Tan, Z Sun, Y Kantaros arXiv preprint arXiv:2311.17059, 2023 | 2 | 2023 |
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis R Mitta, H Hasanbeig, J Wang, D Kroening, Y Kantaros, A Abate Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21412 …, 2024 | 1 | 2024 |
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks J Wang, H Chen, Z Sun, Y Kantaros arXiv preprint arXiv:2311.10863, 2023 | | 2023 |