{"total":17,"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":"2311.09793","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","created":"2023-11-16","cited_by_count":15,"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":"2308.14424","title":"Shielded Reinforcement Learning for Hybrid Systems","created":"2023-08-28","cited_by_count":8,"area":null},{"id":"2410.23790","title":"Neural Model Checking","created":"2024-10-31","cited_by_count":6,"area":null},{"id":"2412.17432","title":"Neural Continuous-Time Supermartingale Certificates","created":"2024-12-23","cited_by_count":5,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"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":"2511.06341","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","created":"2025-11-09","cited_by_count":2,"area":null},{"id":"2404.16883","title":"Myopically Verifiable Probabilistic Certificates for Safe Control and Learning","created":"2024-04-23","cited_by_count":1,"area":null},{"id":"2312.09695","title":"Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales","created":"2023-12-15","cited_by_count":0,"area":null},{"id":"2505.14001","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","created":"2025-05-20","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},{"id":"2605.31524","title":"Value Functions as Supermartingale Certificates","created":"2026-05-29","cited_by_count":0,"area":null},{"id":"2609.12715","title":"Supermartingale Certificates for Parametric MDPs","created":"2026-09-11","cited_by_count":0,"area":null},{"id":"2610.19701","title":"Runtime Monitoring of Supermartingale Certificates","created":"2026-10-14","cited_by_count":0,"area":null}],"next_cursor":null}