Jun Wang

According to our database, Jun Wang authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis.

Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications.

Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros

CoRR, 2023

Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks.

Jun Wang, Haojun Chen, Zihe Sun, Yiannis Kantaros

CoRR, 2023

Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help.

Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik, Yiannis Kantaros

CoRR, 2023

Targeted Adversarial Attacks against Neural Network Trajectory Predictors.

Kaiyuan Tan, Jun Wang, Yiannis Kantaros

Proceedings of the Learning for Dynamics and Control Conference, 2023

2022

Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives.

Jun Wang, Samarth Kalluraya, Yiannis Kantaros

Proceedings of the 61st IEEE Conference on Decision and Control, 2022