📝 2025

• Mengyu Liu, Pengyuan Lu, Shixiong Jiang, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee. “Deadline-Safe Control Synthesis for Cyber-Physical Systems with Reinforcement Learning.” Under review at ACM TECS
• Shixiong Jiang, Weizhe Xu, Mengyu Liu, Fanxin Kong. “Query-Based Black-Box Stealthy Sensor Attacks on Cyber-Physical Systems.” DAC’25
• M Hani Sulieman, Mengyu Liu, M Cenk Gursoy, Fanxin Kong. “Path planning for UAVs under GPS permanent faults. ” ACM TCPS

📝 2024

• Shixiong Jiang, Mengyu Liu, Fanxin Kong. “Backdoor Attacks on Safe Reinforcement Learning-Enabled Cyber-Physical Systems.” Under review at IEEE TCAD
• Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee. “Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning.” MEMOCODE’24
• Shixiong Jiang, Mengyu Liu, Fanxin Kong. “Vulnerability Analysis for Temporal Logic Guided Safe Reinforcement Learning in Cyber-Physical Systems.” ICCPS’24
• Lin Zhang, Mengyu Liu, Fanxin Kong. “Security Toolbox for Cyber-Physical Systems.” RTAS’24
• Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, et al. “Automating Weak Label Generation for Data Programming with Clinicians in the Loop.” CHASE’24
• Weizhe Xu, Mengyu Liu, Steven Drager, Matthew Anderson, Fanxin Kong. “Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems.” ICCPS’24
• Shixiong Jiang, Mengyu Liu, Fanxin Kong. “Demo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in CPS.” RTAS’24
• Md Kausar Hamid Miji, Mengyu Liu, Francis Akowuah, Fanxin Kong. “Work in Progress: Optimal Hidden Actuator Attack to CPS.” RTAS’24
• Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee. “Deadline-Safe Reach-Avoid Control Synthesis for CPS with RL.” RTSS’24
• Weizhe Xu, Mengyu Liu, Oleg Sokolsky, Insup Lee, Fanxin Kong. “LLM-enabled CPS: Survey, Research Opportunities, and Challenges.” FMSys’24

📝 2023

• Mengyu Liu, Lin Zhang, Weizhe Xu, Shixiong Jiang, Fanxin Kong. “CPSim: Simulation Toolbox for Security Problems in CPS.” ACM TODAES
• Lin Zhang, Kaustubh Sridhar, Mengyu Liu, et al. “Real-Time Data-Predictive Attack-Recovery for Complex CPS.” RTAS’23
• Lin Zhang, Mengyu Liu, Fanxin Kong. “Ai-enabled real-time sensor attack detection for cyber-physical systems” Book chapter in AI Embedded Assurance for Cyber Systems
• Mengyu Liu, Lin Zhang, Vir Phoha, Fanxin Kong. “Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in CPS.” RTSS’23
• Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee. “Fulfilling Formal Specifications ASAP by Model-free RL.” arXiv

📝 2022

• Pengyuan Lu, Lin Zhang, Mengyu Liu, et al. “Recovery from Adversarial Attacks in CPS: Shallow, Deep, and Exploratory.” ACM Computing Surveys.
• Lin Zhang, Zifan Wang, Mengyu Liu, Fanxin Kong. “Adaptive Window-Based Sensor Attack Detection for CPS.” DAC’22
• Mengyu Liu, Lin Zhang, Pengyuan Lu, et al. “Fail-Safe: Securing CPS against Hidden Sensor Attacks.” RTSS’22