8 citations · 11 across the 10 of their papers we have counts for
3 papers · 1 filter
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Xi Zheng, Aloysius K. Mok, Ruzica Piskac +5
The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsive…
Repairing Learning-Enabled Controllers While Preserving What Works
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky +2
Learning-enabled controllers have been adopted in various cyber-physical systems (CPS). When a learning-enabled controller fails to accomplish its task from a set of initial states…
IBCL: Zero-shot Model Generation under Stability-Plasticity Trade-offs
Pengyuan Lu, Michele Caprio, Eric Eaton +1
Algorithms that balance the stability-plasticity trade-off are well studied in the Continual Learning literature. However, only a few focus on obtaining models for specified trade-…