@InProceedings{agrawal_et_al:LIPIcs.ECRTS.2020.7, author = {Agrawal, Kunal and Baruah, Sanjoy and Burns, Alan}, title = {{The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems}}, booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)}, pages = {7:1--7:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-152-8}, ISSN = {1868-8969}, year = {2020}, volume = {165}, editor = {V\"{o}lp, Marcus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.7}, URN = {urn:nbn:de:0030-drops-123704}, doi = {10.4230/LIPIcs.ECRTS.2020.7}, annote = {Keywords: Learning-enabled components (LECs), Safety-critical systems, Typical analysis, Performance optimization, Run-time monitoring} }