共 50 条
- [1] Dependable learning-enabled multiagent systems [J]. AI COMMUNICATIONS, 2022, 35 (04) : 407 - 420
- [3] Formal Specification for Learning-Enabled Autonomous Systems [J]. SOFTWARE VERIFICATION AND FORMAL METHODS FOR ML-ENABLED AUTONOMOUS SYSTEMS, FOMLAS 2022, NSV 2022, 2022, 13466 : 131 - 143
- [4] Assuring Learning-Enabled Increasingly Autonomous Systems [J]. 2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
- [5] Learning-Enabled NoC Design for Heterogeneous Manycore Systems [J]. PROCEEDINGS OF THE TWENTYFIRST INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2020), 2020, : 268 - 272
- [6] STPA for Learning-Enabled Systems: A Survey and A New Practice [J]. 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 1381 - 1388
- [8] Run-Time Assurance for Learning-Enabled Systems [J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 361 - 368
- [10] Machine Learning-Enabled Adaptation of Information Fusion Software Systems [J]. 2019 22ND INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION 2019), 2019,