{"total":15,"rows":[{"id":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38,"area":null},{"id":"2112.09197","title":"Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes","created":"2021-12-16","cited_by_count":26,"area":null},{"id":"2207.02715","title":"Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes","created":"2022-07-06","cited_by_count":24,"area":null},{"id":"2111.07183","title":"Reliably-stabilizing piecewise-affine neural network controllers","created":"2021-11-13","cited_by_count":13,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2101.01815","title":"Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers","created":"2021-01-05","cited_by_count":10,"area":null},{"id":"2101.03263","title":"SyReNN: A Tool for Analyzing Deep Neural Networks","created":"2021-01-09","cited_by_count":10,"area":null},{"id":"2306.17418","title":"ReLU Neural Networks, Polyhedral Decompositions, and Persistent Homolog","created":"2023-06-30","cited_by_count":10,"area":null},{"id":"2211.14438","title":"BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic","created":"2022-11-22","cited_by_count":5,"area":null},{"id":"2103.01203","title":"Generating Probabilistic Safety Guarantees for Neural Network Controllers","created":"2021-03-01","cited_by_count":4,"area":null},{"id":"2304.02755","title":"Hybrid Zonotopes Exactly Represent ReLU Neural Networks","created":"2023-04-05","cited_by_count":4,"area":null},{"id":"2211.13305","title":"Dual Graphs of Polyhedral Decompositions for the Detection of Adversarial Attacks","created":"2022-11-23","cited_by_count":2,"area":null},{"id":"2107.12801","title":"Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method","created":"2021-07-27","cited_by_count":1,"area":null},{"id":"2307.15546","title":"On the Trade-off Between Efficiency and Precision of Neural Abstraction","created":"2023-07-28","cited_by_count":0,"area":null},{"id":"2402.11737","title":"Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation","created":"2024-02-18","cited_by_count":0,"area":null}],"next_cursor":null}