共 50 条
- [11] Towards quantitative verification of probabilistic transition systems [J]. AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 421 - 432
- [12] TOWARDS DEEP LEARNING APPROACHES FOR QUANTITATIVE ANALYSIS OF HIGH-THROUGHPUT DLD [J]. PROCEEDINGS OF THE ASME 2020 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, IMECE2020, VOL 13, 2020,
- [13] Towards Safety Verification of Direct Perception Neural Networks [J]. PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 1640 - 1643
- [15] Scalable Quantitative Verification For Deep Neural Networks [J]. 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021), 2021, : 248 - 249
- [16] Scalable Quantitative Verification For Deep Neural Networks [J]. 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021), 2021, : 312 - 323
- [17] Mobile Hologram Verification with Deep Learning [J]. PROCEEDINGS OF THE FIFTEENTH IAPR INTERNATIONAL CONFERENCE ON MACHINE VISION APPLICATIONS - MVA2017, 2017, : 169 - 172
- [18] Deep Representation Learning for Metadata Verification [J]. 2019 IEEE WINTER APPLICATIONS OF COMPUTER VISION WORKSHOPS (WACVW), 2019, : 73 - 82
- [20] Hybrid Deep Learning for Face Verification [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV), 2013, : 1489 - 1496