2 papers
eess.SY2023
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…
eess.SY2022
Risk Verification of Stochastic Systems with Neural Network Controllers
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov +1
Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical sys…