Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta. Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract). In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. pages 13847-13848, AAAI Press, 2020. [doi]
@inproceedings{LamraniBG20a,
title = {Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract)},
author = {Imane Lamrani and Ayan Banerjee and Sandeep K. S. Gupta},
year = {2020},
url = {https://aaai.org/ojs/index.php/AAAI/article/view/7196},
researchr = {https://researchr.org/publication/LamraniBG20a},
cites = {0},
citedby = {0},
pages = {13847-13848},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020},
publisher = {AAAI Press},
isbn = {978-1-57735-823-7},
}