Author:
Hashemi Vahid,Křetínskỳ Jan,Rieder Sabine,Schmidt Jessica
Publisher
Springer International Publishing
Reference35 articles.
1. Bak, S., Liu, C., Johnson, T.T.: The second international verification of neural networks competition (VNN-COMP 2021): summary and results. CoRR abs/2109.00498 (2021). https://arxiv.org/abs/2109.00498
2. Cheng, C.H.: Provably-robust runtime monitoring of neuron activation patterns. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1310–1313. IEEE (2021)
3. Cheng, C., Huang, C., Brunner, T., Hashemi, V.: Towards safety verification of direct perception neural networks. In: 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, 9–13 March 2020, pp. 1640–1643. IEEE (2020)
4. Cheng, C.H., Nührenberg, G., Yasuoka, H.: Runtime monitoring neuron activation patterns. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 300–303. IEEE (2019)
5. Cordts, M., et al.: The cityscapes dataset for semantic urban scene understanding. In: 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, 27–30 June 2016, pp. 3213–3223. IEEE Computer Society (2016). https://doi.org/10.1109/CVPR.2016.350
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献