{"total":12,"rows":[{"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":"2303.05848","title":"Decision-Making Under Uncertainty: Beyond Probabilities","created":"2023-03-10","cited_by_count":9,"area":null},{"id":"2308.14424","title":"Shielded Reinforcement Learning for Hybrid Systems","created":"2023-08-28","cited_by_count":8,"area":null},{"id":"2404.05424","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","created":"2024-04-08","cited_by_count":5,"area":null},{"id":"2503.23561","title":"Bridging conformal prediction and scenario optimization","created":"2025-03-30","cited_by_count":5,"area":null},{"id":"2512.04781","title":"Pick-to-Learn for Systems and Control: Data-driven Synthesis with State-of-the-art Safety Guarantees","created":"2025-12-04","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":"2303.17618","title":"Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]","created":"2023-03-30","cited_by_count":3,"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},{"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":"2608.12037","title":"Clustered Randomized Smoothing for Stochastic Prediction Functions","created":"2026-08-12","cited_by_count":0,"area":null}],"next_cursor":null}