{"total":14,"rows":[{"id":"2309.09187","title":"Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference","created":"2023-09-17","cited_by_count":9,"area":null},{"id":"2104.13901","title":"Symbolic Abstractions From Data: A PAC Learning Approach","created":"2021-04-28","cited_by_count":6,"area":null},{"id":"2201.00655","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression","created":"2021-12-31","cited_by_count":5,"area":null},{"id":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"area":null},{"id":"2407.11609","title":"Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift","created":"2024-07-16","cited_by_count":4,"area":null},{"id":"2509.21629","title":"Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis","created":"2025-09-25","cited_by_count":4,"area":null},{"id":"2112.09995","title":"Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions","created":"2021-12-18","cited_by_count":2,"area":null},{"id":"2311.08652","title":"Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing","created":"2023-11-15","cited_by_count":1,"area":null},{"id":"2207.03884","title":"NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation","created":"2022-07-08","cited_by_count":0,"area":null},{"id":"2211.11127","title":"Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training","created":"2022-11-21","cited_by_count":0,"area":null},{"id":"2212.14115","title":"Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks","created":"2022-12-28","cited_by_count":0,"area":null},{"id":"2505.03863","title":"Data-Driven Falsification of Cyber-Physical Systems","created":"2025-05-06","cited_by_count":0,"area":null},{"id":"2602.03799","title":"Conformal Reachability for Safe Control in Unknown Environments","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2609.22108","title":"Correcting Learning-based Perception for Safety","created":"2026-08-16","cited_by_count":0,"area":null}],"next_cursor":null}