Search Results for author:
Found 5 papers, 1 papers with code
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning
Two established approaches to engineer adaptive systems are architecture-based adaptation that uses a Monitor-Analysis-Planning-Executing (MAPE) loop that reasons over architectural models (aka Knowledge) to make adaptation decisions, and control-based adaptation that relies on principles of control theory (CT) to realize adaptation.
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
We introduce DeepCert, a tool-supported method for verifying the robustness of deep neural network (DNN) image classifiers to contextually relevant perturbations such as blur, haze, and changes in image contrast.
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)
Machine Learning (ML) is now used in a range of systems with results that are reported to exceed, under certain conditions, human performance.
Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers
Regions of high-dimensional input spaces that are underrepresented in training datasets reduce machine-learnt classifier performance, and may lead to corner cases and unwanted bias for classifiers used in decision making systems.
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges
Our paper provides a comprehensive survey of the state-of-the-art in the assurance of ML, i. e. in the generation of evidence that ML is sufficiently safe for its intended use.
