共 50 条
- [21] Towards automatic verification of autonomous systems [J]. 2000 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2000), VOLS 1-3, PROCEEDINGS, 2000, : 1410 - 1415
- [22] Taxonomy and Procedures for Adaptive Autonomous Systems in Crowded Hybrid Environments [J]. PROCEEDINGS OF THE 2014 6TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMPUTERS AND ARTIFICIAL INTELLIGENCE (ECAI), 2014,
- [23] TOWARDS A TAXONOMY OF ATTACKS AGAINST ENERGY CONTROL SYSTEMS [J]. CRITICAL INFRASTRUCTURE PROTECTION II, 2008, 290 : 71 - +
- [25] Sources of Opacity in Computer Systems: Towards a Comprehensive Taxonomy [J]. 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 337 - 342
- [26] Towards a Taxonomy of Provenance in Scientific Workflow Management Systems [J]. 2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 259 - +
- [28] Towards Explainable and Trustworthy Autonomous Physical Systems [J]. EXTENDED ABSTRACTS OF THE 2021 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'21), 2021,
- [29] Towards a framework for certification of reliable autonomous systems [J]. Autonomous Agents and Multi-Agent Systems, 2021, 35
- [30] The winding path towards symbiotic autonomous systems [J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2021, 379 (2207):