{"total":20,"rows":[{"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":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22,"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":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2312.12679","title":"Towards Efficient Verification of Quantized Neural Networks","created":"2023-12-20","cited_by_count":11,"area":null},{"id":"2204.07373","title":"Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning","created":"2022-04-15","cited_by_count":7,"area":null},{"id":"2410.23790","title":"Neural Model Checking","created":"2024-10-31","cited_by_count":6,"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":"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":"2412.12996","title":"Neural Control and Certificate Repair via Runtime Monitoring","created":"2024-12-17","cited_by_count":3,"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":"2301.00521","title":"A Policy Optimization Method Towards Optimal-time Stability","created":"2023-01-02","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":"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}