{"total":11,"rows":[{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"area":null},{"id":"2112.09655","title":"Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report)","created":"2021-12-17","cited_by_count":9,"area":null},{"id":"2105.10134","title":"Certification of Iterative Predictions in Bayesian Neural Networks","created":"2021-05-21","cited_by_count":8,"area":null},{"id":"2201.03698","title":"Verified Probabilistic Policies for Deep Reinforcement Learning","created":"2022-01-10","cited_by_count":6,"area":null},{"id":"2310.01951","title":"Probabilistic Reach-Avoid for Bayesian Neural Networks","created":"2023-10-03","cited_by_count":5,"area":null},{"id":"2112.07569","title":"Cooperation for Scalable Supervision of Autonomy in Mixed Traffic","created":"2021-12-14","cited_by_count":4,"area":null},{"id":"2106.06931","title":"Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning","created":"2021-06-13","cited_by_count":3,"area":null},{"id":"2211.11127","title":"Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training","created":"2022-11-21","cited_by_count":0,"area":null},{"id":"2303.12558","title":"Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees","created":"2023-03-22","cited_by_count":0,"area":null},{"id":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","cited_by_count":0,"area":null},{"id":"2609.00838","title":"Probabilistic Model Checking of Autoregressive Neural Sequence Models","created":"2026-09-01","cited_by_count":0,"area":null}],"next_cursor":null}