Home ›
Entities
› academia
› PRODeep: a platform for robustness verification of deep neural networks
PRODeep: a platform for robustness verification of deep neural networks
Research article (Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020) · cited 20× · AI/ML
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). PRODeep: a platform for robustness verification of deep neural networks. Retrieved May 24, 2026, from https://4ort.xyz/entity/prodeep-a-platform-for-robustness-verification-of-deep-neural-networks
MLA“PRODeep: a platform for robustness verification of deep neural networks.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/prodeep-a-platform-for-robustness-verification-of-deep-neural-networks.
BibTeX@misc{4ortxyz_prodeep-a-platform-for-robustness-verification-of-deep-neural-networks_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{PRODeep: a platform for robustness verification of deep neural networks}}, year = {2026}, url = {https://4ort.xyz/entity/prodeep-a-platform-for-robustness-verification-of-deep-neural-networks}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): PRODeep: a platform for robustness verification of deep neural networks — https://4ort.xyz/entity/prodeep-a-platform-for-robustness-verification-of-deep-neural-networks (retrieved 2026-05-24)
