@article{Sidrane_2021, title={Safety Assurance for Systems with Machine Learning Components}, volume={35}, url={https://ojs.aaai.org/index.php/AAAI/article/view/17864}, DOI={10.1609/aaai.v35i18.17864}, abstractNote={The use of machine learning components in safety-critical systems creates reliability concerns. My thesis focuses on developing algorithms to address these concerns. Because the assurance of a safety-critical system generally requires multiple types of validation, my research takes three directions: safe deep learning algorithms, formal verification of neural networks, and adaptive testing methods.}, number={18}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Sidrane, Chelsea}, year={2021}, month={May}, pages={15734-15735} }