4 citations · 5 across the 12 of their papers we have counts for
5 papers · 1 filter
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…
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems
Sydney Pugh, Ivan Ruchkin, Insup Lee +1
Deep learning models have shown promising predictive accuracy for time-series healthcare applications. However, ensuring the robustness of these models is vital for building trustw…
Distributionally Robust Statistical Verification with Imprecise Neural Networks
Souradeep Dutta, Michele Caprio, Vivian Lin +5
A particularly challenging problem in AI safety is providing guarantees on the behavior of high-dimensional autonomous systems. Verification approaches centered around reachability…
Causal Repair of Learning-enabled Cyber-physical Systems
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland +2
Models of actual causality leverage domain knowledge to generate convincing diagnoses of events that caused an outcome. It is promising to apply these models to diagnose and repair…
Conservative Safety Monitors of Stochastic Dynamical Systems
Matthew Cleaveland, Oleg Sokolsky, Insup Lee +1
Generating accurate runtime safety estimates for autonomous systems is vital to ensuring their continued proliferation. However, exhaustive reasoning about future behaviors is gene…