Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti. Safety Verification of Neural Network Controlled Systems. In 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2021, Taipei, Taiwan, June 21-24, 2021. pages 47-54, IEEE, 2021. [doi]
@inproceedings{ClaviereAGP21,
title = {Safety Verification of Neural Network Controlled Systems},
author = {Arthur Clavière and Eric Asselin and Christophe Garion and Claire Pagetti},
year = {2021},
doi = {10.1109/DSN-W52860.2021.00019},
url = {https://doi.org/10.1109/DSN-W52860.2021.00019},
researchr = {https://researchr.org/publication/ClaviereAGP21},
cites = {0},
citedby = {0},
pages = {47-54},
booktitle = {51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2021, Taipei, Taiwan, June 21-24, 2021},
publisher = {IEEE},
isbn = {978-1-6654-3950-3},
}