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

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)