Jun Wang
Orcid: 0000-0003-0481-8697Affiliations:
- Washington University in St. Louis, Department of Electrical and Systems Engineering, St. Louis, MO, USA
- University of Pennsylvania, GRASP Lab, Philadelphia, PA, USA (2019 - 2021)
According to our database1,
Jun Wang
authored at least 10 papers
between 2022 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2025
Sample-Efficient Reinforcement Learning With Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration.
IEEE Trans. Autom. Control., May, 2025
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees.
CoRR, April, 2025
Probabilistically Correct Language-Based Multi-Robot Planning Using Conformal Prediction.
IEEE Robotics Autom. Lett., January, 2025
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications.
Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025
2024
Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction.
CoRR, 2024
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks.
CoRR, 2023
Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help.
CoRR, 2023
Proceedings of the Learning for Dynamics and Control Conference, 2023
2022
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022