Folgen
Jun Wang
Jun Wang
PhD Candidate, Washington University in St. Louis
Bestätigte E-Mail-Adresse bei wustl.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Targeted adversarial attacks against neural network trajectory predictors
K Tan, J Wang, Y Kantaros
Learning for Dynamics and Control Conference, 431-444, 2023
92023
Conformal temporal logic planning using large language models
J Wang, J Tong, K Tan, Y Vorobeychik, Y Kantaros
arXiv preprint arXiv:2309.10092, 2023
52023
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
42022
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
2024
Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction
J Wang, G He, Y Kantaros
arXiv preprint arXiv:2402.15368, 2024
2024
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
2023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7