Titlebook: AI Verification; First International Guy Avni,Mirco Giacobbe,Christian Schilling Conference proceedings 2024 The Editor(s) (if applicable)

重畫只能放棄

沖突

Conference proceedings 2024 2024...The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; t

劇本

https://doi.org/10.1007/978-3-8348-9054-2ided abstraction-refinement based verification strategy. We present the viability of our strategy by deploying the Marabou verification framework and applying it to verify the robustness properties of the neural network used in the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu).

Lipoma

Iterative Counter-Example Guided Robustness Verification for Neural Networks,ided abstraction-refinement based verification strategy. We present the viability of our strategy by deploying the Marabou verification framework and applying it to verify the robustness properties of the neural network used in the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu).