{"total":13,"rows":[{"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":"2210.10691","title":"Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes","created":"2022-10-19","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":"2105.07229","title":"Data-Driven Reachability Analysis from Noisy Data","created":"2021-05-15","cited_by_count":14,"area":null},{"id":"2404.15065","title":"Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure","created":"2024-04-23","cited_by_count":8,"area":null},{"id":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2103.14110","title":"Robust Data-Driven Predictive Control using Reachability Analysis","created":"2021-03-25","cited_by_count":3,"area":null},{"id":"2603.08964","title":"The FABRIC Strategy for Verifying Neural Feedback Systems","created":"2026-03-09","cited_by_count":1,"area":null},{"id":"2210.12054","title":"Towards Global Neural Network Abstractions with Locally-Exact Reconstruction","created":"2022-10-21","cited_by_count":0,"area":null},{"id":"2405.18549","title":"Learning from Uncertain Data: From Possible Worlds to Possible Models","created":"2024-05-28","cited_by_count":0,"area":null},{"id":"2602.10032","title":"Perception with Guarantees: Certified Pose Estimation via Reachability Analysis","created":"2026-02-10","cited_by_count":0,"area":null},{"id":"2605.10474","title":"Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes","created":"2026-05-11","cited_by_count":0,"area":null},{"id":"2609.27816","title":"Safe Multi-Robot Coordination via VLM-LLM Reasoning and Reachability Analysis","created":"2026-08-18","cited_by_count":0,"area":null}],"next_cursor":null}