Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204671760> ?p ?o ?g. }
- W3204671760 abstract "Learning-based methods could provide solutions to many of the long-standing challenges in control. However, the neural networks (NNs) commonly used in modern learning approaches present substantial challenges for analyzing the resulting control systems' safety properties. Fortunately, a new body of literature could provide tractable methods for analysis and verification of these high dimensional, highly nonlinear representations. This tutorial first introduces and unifies recent techniques (many of which originated in the computer vision and machine learning communities) for verifying robustness properties of NNs. The techniques are then extended to provide formal guarantees of neural feedback loops (e.g., closed-loop system with NN control policy). The provided tools are shown to enable closed-loop reachability analysis and robust deep reinforcement learning." @default.
- W3204671760 created "2021-10-11" @default.
- W3204671760 creator A5064513857 @default.
- W3204671760 date "2021-09-30" @default.
- W3204671760 modified "2023-09-27" @default.
- W3204671760 title "Neural Network Verification in Control." @default.
- W3204671760 cites W1483893502 @default.
- W3204671760 cites W1488377224 @default.
- W3204671760 cites W1496537269 @default.
- W3204671760 cites W164384110 @default.
- W3204671760 cites W172589331 @default.
- W3204671760 cites W197865394 @default.
- W3204671760 cites W2064675550 @default.
- W3204671760 cites W2095705004 @default.
- W3204671760 cites W2099471712 @default.
- W3204671760 cites W2100295588 @default.
- W3204671760 cites W2105078254 @default.
- W3204671760 cites W2108598243 @default.
- W3204671760 cites W2111980775 @default.
- W3204671760 cites W2121103318 @default.
- W3204671760 cites W2123357397 @default.
- W3204671760 cites W2135227058 @default.
- W3204671760 cites W2137471868 @default.
- W3204671760 cites W2145339207 @default.
- W3204671760 cites W2155101642 @default.
- W3204671760 cites W2155893237 @default.
- W3204671760 cites W2167224731 @default.
- W3204671760 cites W2176215692 @default.
- W3204671760 cites W2344795941 @default.
- W3204671760 cites W23696228 @default.
- W3204671760 cites W2402144811 @default.
- W3204671760 cites W2492473950 @default.
- W3204671760 cites W2543296129 @default.
- W3204671760 cites W2576277975 @default.
- W3204671760 cites W2594877703 @default.
- W3204671760 cites W2602963933 @default.
- W3204671760 cites W2606722458 @default.
- W3204671760 cites W2609681974 @default.
- W3204671760 cites W2612445135 @default.
- W3204671760 cites W2721006554 @default.
- W3204671760 cites W2773691349 @default.
- W3204671760 cites W2794609696 @default.
- W3204671760 cites W2807040120 @default.
- W3204671760 cites W2890472662 @default.
- W3204671760 cites W2895120768 @default.
- W3204671760 cites W2898758998 @default.
- W3204671760 cites W2898963688 @default.
- W3204671760 cites W2899283552 @default.
- W3204671760 cites W2904849495 @default.
- W3204671760 cites W2916774113 @default.
- W3204671760 cites W2938701611 @default.
- W3204671760 cites W2949103145 @default.
- W3204671760 cites W2953212265 @default.
- W3204671760 cites W2962692913 @default.
- W3204671760 cites W2962730452 @default.
- W3204671760 cites W2962755762 @default.
- W3204671760 cites W2962902376 @default.
- W3204671760 cites W2963054787 @default.
- W3204671760 cites W2963184939 @default.
- W3204671760 cites W2963424284 @default.
- W3204671760 cites W2963440492 @default.
- W3204671760 cites W2963496101 @default.
- W3204671760 cites W2963626025 @default.
- W3204671760 cites W2963735478 @default.
- W3204671760 cites W2964040381 @default.
- W3204671760 cites W2964130946 @default.
- W3204671760 cites W2964153729 @default.
- W3204671760 cites W2964173023 @default.
- W3204671760 cites W2970297683 @default.
- W3204671760 cites W2970971581 @default.
- W3204671760 cites W2973004389 @default.
- W3204671760 cites W2980176926 @default.
- W3204671760 cites W2981037657 @default.
- W3204671760 cites W2991226929 @default.
- W3204671760 cites W2995876497 @default.
- W3204671760 cites W2996343955 @default.
- W3204671760 cites W2999026783 @default.
- W3204671760 cites W3012424690 @default.
- W3204671760 cites W3015707549 @default.
- W3204671760 cites W3021457401 @default.
- W3204671760 cites W3024917158 @default.
- W3204671760 cites W3031161302 @default.
- W3204671760 cites W3037207827 @default.
- W3204671760 cites W3048679064 @default.
- W3204671760 cites W3091798065 @default.
- W3204671760 cites W3102564617 @default.
- W3204671760 cites W3104862198 @default.
- W3204671760 cites W3105518781 @default.
- W3204671760 cites W3111646504 @default.
- W3204671760 cites W3117881175 @default.
- W3204671760 cites W3120220828 @default.
- W3204671760 cites W3120409696 @default.
- W3204671760 cites W3131738409 @default.
- W3204671760 cites W3132065243 @default.
- W3204671760 cites W3142744390 @default.
- W3204671760 cites W3156820410 @default.
- W3204671760 cites W3158850837 @default.
- W3204671760 cites W3192260026 @default.
- W3204671760 cites W3200885897 @default.
- W3204671760 cites W3205312597 @default.