{"total":13,"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":"2503.03911","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","created":"2025-03-05","cited_by_count":9,"area":null},{"id":"2309.08976","title":"Data-driven Reachability using Christoffel Functions and Conformal Prediction","created":"2023-09-16","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":"2211.11027","title":"Safe Reinforcement Learning using Data-Driven Predictive Control","created":"2022-11-20","cited_by_count":5,"area":null},{"id":"2512.04781","title":"Pick-to-Learn for Systems and Control: Data-driven Synthesis with State-of-the-art Safety Guarantees","created":"2025-12-04","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":"2408.15250","title":"Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis","created":"2024-08-09","cited_by_count":1,"area":null},{"id":"2504.01007","title":"Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes","created":"2025-04-01","cited_by_count":1,"area":null},{"id":"2111.04704","title":"Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics","created":"2021-11-08","cited_by_count":0,"area":null},{"id":"2604.12654","title":"Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees","created":"2026-04-14","cited_by_count":0,"area":null},{"id":"2608.05472","title":"Matrix Zonotopic Attention: A Context-Adaptive Value Projection for Set Transformers","created":"2026-08-05","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}