Прати
Jun Wang
Jun Wang
PhD Candidate, Washington University in St. Louis
Верификована је имејл адреса на wustl.edu - Почетна страница
Наслов
Навело
Навело
Година
Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction
J Wang, G He, Y Kantaros
IEEE Robotics and Automation Letters 10 (1), 160-167, 2024
23*2024
Targeted adversarial attacks against neural network trajectory predictors
K Tan, J Wang, Y Kantaros
Learning for Dynamics and Control Conference, 431-444, 2023
172023
Conformal temporal logic planning using large language models
J Wang, J Tong, K Tan, Y Vorobeychik, Y Kantaros
arXiv preprint arXiv:2309.10092, 2023
162023
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
62022
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
32024
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
32023
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
Y Kantaros, J Wang
IEEE Transactions on Automatic Control, 2024
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
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–8