共 50 条
- [1] Reasoning about Safety and Progress Using Contracts [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 436 - 451
- [3] SAFECAP domain language for reasoning about safety and capacity [J]. 2012 WORKSHOP ON DEPENDABLE TRANSPORTATION SYSTEMS/RECENT ADVANCES IN SOFTWARE DEPENDABILITY (WDTS-RASD 2012), 2012, : 1 - 10
- [4] Reasoning about safety management policy in everyday terms [J]. SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, 2009, : 1601 - 1607
- [6] Deliberation dialogues for reasoning about safety critical actions [J]. Autonomous Agents and Multi-Agent Systems, 2012, 25 : 209 - 259
- [8] A Miniaturised Neuromorphic Tactile Sensor integrated with an Anthropomorphic Robot Hand [J]. 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2020, : 9883 - 9889
- [10] AGI Safety Literature Review [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5441 - 5449