{"total":13,"rows":[{"id":"2112.09495","title":"Stability Verification in Stochastic Control Systems via Neural Network Supermartingales","created":"2021-12-17","cited_by_count":26,"area":null},{"id":"2210.05308","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees","created":"2022-10-11","cited_by_count":23,"area":null},{"id":"2411.11451","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","created":"2024-11-18","cited_by_count":18,"area":null},{"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":"2110.12662","title":"Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise","created":"2021-10-25","cited_by_count":13,"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":"2210.05304","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","created":"2022-10-11","cited_by_count":5,"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":"2205.11991","title":"Learning Stabilizing Policies in Stochastic Control Systems","created":"2022-05-24","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":"2512.18389","title":"Neural Proofs for Sound Verification and Control of Complex Systems","created":"2025-12-20","cited_by_count":0,"area":null}],"next_cursor":null}