共 50 条
- [44] Data-Driven Invariant Learning for Probabilistic Programs COMPUTER AIDED VERIFICATION (CAV 2022), PT I, 2022, 13371 : 33 - 54
- [48] Optimal Location Assignment for Data-Driven Warehouse Towards Digital Supply Chain Twin 2023 IEEE 28TH INTERNATIONAL WORKSHOP ON COMPUTER AIDED MODELING AND DESIGN OF COMMUNICATION LINKS AND NETWORKS, CAMAD 2023, 2023, : 117 - 122
- [49] A Data-Driven Digital Twin Architecture for Failure Prediction of Customized Automatic Transverse Robot IEEE ACCESS, 2024, 12 : 59222 - 59235