@inproceedings{f4d7905f20794d88b86ca72132d81e5f,
title = "Minimizing Execution Duration in the Presence of Learning-Enabled Components",
abstract = "Autonomous systems are increasingly using components that incorporate machine learning and other AI-based techniques in order to achieve improved performance. We address the problem of assuring correctness in safety-critical systems that use such components. We investigate an approach which formulates the problem as one in which performance is an objective function to be optimized while safety is a hard constraint that must be satisfied. We then apply heuristics and algorithmic techniques from optimization theory in order to solve the resulting constrained optimization problem.",
keywords = "Learning-enabled components (LECs), Performance optimization, Run-time monitoring, Safetycritical systems, Typical analysis",
author = "Kunal Agrawal and Alan Burns and Abhishek Singh and Sanjoy Baruah",
note = "Publisher Copyright: {\textcopyright} 2020 EDAA.; 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020 ; Conference date: 09-03-2020 Through 13-03-2020",
year = "2020",
month = mar,
doi = "10.23919/DATE48585.2020.9116505",
language = "English",
series = "Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1644--1649",
editor = "\{Di Natale\}, Giorgio and Cristiana Bolchini and Elena-Ioana Vatajelu",
booktitle = "Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020",
}