{"total":15,"rows":[{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16,"area":null},{"id":"2210.05989","title":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty","created":"2022-10-12","cited_by_count":11,"area":null},{"id":"2503.10352","title":"Safe exploration in reproducing kernel Hilbert spaces","created":"2025-03-13","cited_by_count":10,"area":null},{"id":"2404.05424","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","created":"2024-04-08","cited_by_count":5,"area":null},{"id":"2503.23561","title":"Bridging conformal prediction and scenario optimization","created":"2025-03-30","cited_by_count":5,"area":null},{"id":"2212.00679","title":"Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics","created":"2022-12-01","cited_by_count":1,"area":null},{"id":"2408.04406","title":"Finite sample learning of moving targets","created":"2024-08-08","cited_by_count":1,"area":null},{"id":"2603.19396","title":"Bridging Conformal Prediction and Scenario Optimization: Discarded Constraints and Modular Risk Allocation","created":"2026-03-19","cited_by_count":1,"area":null},{"id":"2311.09786","title":"Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2501.08884","title":"Improved Compression Bounds for Scenario Decision Making","created":"2025-01-15","cited_by_count":0,"area":null},{"id":"2501.08887","title":"PAC Learnability of Scenario Decision-Making Algorithms: Necessary Conditions and Sufficient Conditions","created":"2025-01-15","cited_by_count":0,"area":null},{"id":"2509.02103","title":"Online Complexity Estimation for Repetitive Scenario Design","created":"2025-09-02","cited_by_count":0,"area":null},{"id":"2602.15568","title":"Scenario Approach with Post-Design Certification of User-Specified Properties","created":"2026-02-17","cited_by_count":0,"area":null},{"id":"2605.12341","title":"Multi-Variable Conformal Prediction: Optimizing Prediction Sets without Data Splitting","created":"2026-05-12","cited_by_count":0,"area":null},{"id":"2609.01355","title":"Exact Risk-Complexity Laws for Projective Boundaries in Scenario Optimization and Distribution-Free Certification","created":"2026-09-01","cited_by_count":0,"area":null}],"next_cursor":null}