8 citations · 11 across the 2 of their papers we have counts for
2 papers
eess.SY2024★ 8 cited
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
Pengyuan Lu, Lin Zhang, Mengyu Liu +4
Cyber-physical systems (CPS) have experienced rapid growth in recent decades. However, like any other computer-based systems, malicious attacks evolve mutually, driving CPS to unde…
cs.LG2023★ 3 cited
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning
Mengyu Liu, Pengyuan Lu, Xin Chen +3
We propose a model-free reinforcement learning solution, namely the ASAP-Phi framework, to encourage an agent to fulfill a formal specification ASAP. The framework leverages a piec…