Pengyuan Lu - RankMe

20 papers A 3B 2C 1Journal 9Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation. ICCPS Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	J	`jnl`	Conservative Perception Models for Probabilistic Model Checking. CoRR Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2024	A	`conf`	Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. RTSS Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	C	`conf`	Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. MEMOCODE Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	J	`jnl`	Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works. CoRR Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee
2024	—	`conf`	Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	—	`conf`	Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Causal Repair of Learning-enabled Cyber-physical Systems. CoRR Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	A	`conf`	Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Repairing Learning-Enabled Controllers While Preserving What Works. CoRR Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	J	`jnl`	Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning. CoRR Pengyuan Lu, Michele Caprio, Eric Eaton, Insup Lee
2022	—	`conf`	Confidence Composition for Monitors of Verification Assumptions. ICCPS Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2022	A	`conf`	Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Confidence Composition for Monitors of Verification Assumptions. CoRR Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2021	B	`conf`	FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, Insup Lee
2021	B	`conf`	RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer
2021	J	`jnl`	Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Attack-Resilient Sensor Fusion for Cooperative Adaptive Cruise Control. ITSC Pengyuan Lu, Limin Zhang, B. Brian Park, Lu Feng