{"total":13,"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":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"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":"2303.05848","title":"Decision-Making Under Uncertainty: Beyond Probabilities","created":"2023-03-10","cited_by_count":9,"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":"2208.14407","title":"An Analysis of Model-Based Reinforcement Learning From Abstracted Observations","created":"2022-08-30","cited_by_count":2,"area":null},{"id":"2405.04015","title":"Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties","created":"2024-05-07","cited_by_count":2,"area":null},{"id":"2203.05522","title":"Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems","created":"2022-03-10","cited_by_count":1,"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":"2605.01339","title":"Robust Parameter Learning for Uncertain MDPs","created":"2026-05-02","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":"2602.08063","title":"Efficient Distribution Learning with Error Bounds in Wasserstein Distance","created":"2026-02-08","cited_by_count":0,"area":null},{"id":"2605.06087","title":"Safety Certification is Classification","created":"2026-05-07","cited_by_count":0,"area":null}],"next_cursor":null}