共 44 条
- [1] [Anonymous], 2018, One year industrial component degradation dataset
- [2] Improved Geometric Path Enumeration for Verifying ReLU Neural Networks [J]. COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 66 - 96
- [4] Bunel R, 2020, J MACH LEARN RES, V21
- [5] Digital Twins and AI in Smart Motion Control Applications [J]. 2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2022,
- [6] De Palma A, 2021, Arxiv, DOI arXiv:2104.06718
- [7] Demarchi S., 2022, P 36 ECMS INT C MOD, P310, DOI [10.7148/2022-0310, DOI 10.7148/2022-0310]
- [8] Demarchi S., 2022, CEUR Workshop Proceedings, V3252
- [9] Eramo R., 2022, CEUR Workshop Proceedings, V3345
- [10] Ferrari C., 2022, 10 INT C LEARN REPR