Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. - Jun Wang 135; Samarth Kalluraya; Yiannis Kantaros (CDC, 2022)

Targeted Adversarial Attacks against Neural Network Trajectory Predictors. - Kaiyuan Tan; Jun Wang 135; Yiannis Kantaros (L4DC, 2023)

Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help. - Jun Wang 135; Jiaming Tong; Kaiyuan Tan; Yevgeniy Vorobeychik; Yiannis Kantaros (CoRR, 2023)

Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks. - Jun Wang 135; Haojun Chen; Zihe Sun; Yiannis Kantaros (CoRR, 2023)

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. - Rohan Mitta; Hosein Hasanbeig; Jun Wang 135; Daniel Kroening; Yiannis Kantaros; Alessandro Abate (AAAI, 2024)

Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction. - Jun Wang 135; Guocheng He; Yiannis Kantaros (CoRR, 2024)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. - Jun Wang 135; Hosein Hasanbeig; Kaiyuan Tan; Zihe Sun; Yiannis Kantaros (L4DC, 2025)

Probabilistically Correct Language-Based Multi-Robot Planning Using Conformal Prediction. - Jun Wang 135; Guocheng He; Yiannis Kantaros (IEEE Robotics Autom. Lett., 2025)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees. - Jun Wang 135; David Smith Sundarsingh; Jyotirmoy V. Deshmukh; Yiannis Kantaros (CoRR, 2025)

Sample-Efficient Reinforcement Learning With Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration. - Yiannis Kantaros; Jun Wang 135 (IEEE Trans. Autom. Control., 2025)