Jun Wang

16 papers A* 1Journal 12Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	CoFineLLM: Conformal Finetuning of LLMs for Language-Instructed Robot Planning. CoRR Jun Wang, Yevgeniy Vorobeychik, Yiannis Kantaros
2025	J	`jnl`	ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees. CoRR Jun Wang, David Smith Sundarsingh, Jyotirmoy V. Deshmukh, Yiannis Kantaros
2025	—	`conf`	Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. L4DC Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros
2025	J	`jnl`	Probabilistically Correct Language-Based Multi-Robot Planning Using Conformal Prediction. IEEE Robotics Autom. Lett. Jun Wang, Guocheng He, Yiannis Kantaros
2025	J	`jnl`	Sample-Efficient Reinforcement Learning With Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration. IEEE Trans. Autom. Control. Yiannis Kantaros, Jun Wang
2024	J	`jnl`	Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction. CoRR Jun Wang, Guocheng He, Yiannis Kantaros
2024	A*	`conf`	Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. AAAI Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
2024	J	`jnl`	Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration. CoRR Yiannis Kantaros, Jun Wang
2023	J	`jnl`	Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help. CoRR Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik, Yiannis Kantaros
2023	J	`jnl`	Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. CoRR Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros
2023	J	`jnl`	Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. CoRR Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
2023	—	`conf`	Targeted Adversarial Attacks against Neural Network Trajectory Predictors. L4DC Kaiyuan Tan, Jun Wang, Yiannis Kantaros
2023	J	`jnl`	Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks. CoRR Jun Wang, Haojun Chen, Zihe Sun, Yiannis Kantaros
2022	J	`jnl`	Targeted Adversarial Attacks against Neural Network Trajectory Predictors. CoRR Kaiyuan Tan, Jun Wang, Yiannis Kantaros
2022	—	`conf`	Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CDC Jun Wang, Samarth Kalluraya, Yiannis Kantaros
2022	J	`jnl`	Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CoRR Jun Wang, Samarth Kalluraya, Yiannis Kantaros