钢盔 发表于 2025-3-28 17:07:59

Szymon Klarman,Katarina Britztem entail reconstruction of the body of safety evidence. When changes occur in the development or certification processes, identification of the new evidence to provide, the evidence that is no longer adequate, or the evidence that can be reused poses some challenges. Therefore, practitioners need

施魔法 发表于 2025-3-28 19:44:27

Ondřej Kuželka,Jesse Davis,Steven Schockaertpport claims in areas such as safety, reliability, maintainability, human factors, security etc. Practically, both argument and evidence are imperfect, resulting in that we can hardly say the claim is one hundred percent true. So when we do decision-making against assurance cases, we need to know ho

ETHER 发表于 2025-3-29 02:53:20

http://reply.papertrans.cn/47/4639/463891/463891_43.png

Ostrich 发表于 2025-3-29 06:44:40

Carlos Alberto Martínez-Angeles,Inês Dutra,Vítor Santos Costa,Jorge Buenabad-Chávezcked when combining it with the capability of cooperation, leading to the vision of comprehensively networked cooperative autonomous systems (CAS). To enable a safe CAS cooperation at runtime, we introduced the ConSert approach in previous work, which allows fully automated safety interface compatib

employor 发表于 2025-3-29 10:45:11

http://reply.papertrans.cn/47/4639/463891/463891_45.png

混杂人 发表于 2025-3-29 12:17:30

http://reply.papertrans.cn/47/4639/463891/463891_46.png

hematuria 发表于 2025-3-29 17:42:43

http://reply.papertrans.cn/47/4639/463891/463891_47.png

不自然 发表于 2025-3-29 20:44:32

http://reply.papertrans.cn/47/4639/463891/463891_48.png

bile648 发表于 2025-3-30 02:43:48

Ashwin Srinivasan,Michael Bain,Deepika Vatsa,Sumeet Agarwaldata including camera images. State-of-the-art methods for object recognition and image segmentation rely on complex data-driven models such as convolutional neural networks. Although no final answer exists yet on how to perform safety evaluation of systems containing such models, such evaluation sh

Vaginismus 发表于 2025-3-30 04:02:46

data including camera images. State-of-the-art methods for object recognition and image segmentation rely on complex data-driven models such as convolutional neural networks. Although no final answer exists yet on how to perform safety evaluation of systems containing such models, such evaluation sh
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Inductive Logic Programming; 25th International C Katsumi Inoue,Hayato Ohwada,Akihiro Yamamoto Conference proceedings 2016 Springer Interna