{"total":14,"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":"2107.00108","title":"Convex Optimization for Parameter Synthesis in MDPs","created":"2021-06-30","cited_by_count":8,"area":null},{"id":"2309.06420","title":"Verifiable Reinforcement Learning Systems via Compositionality","created":"2023-09-09","cited_by_count":3,"area":null},{"id":"2405.10768","title":"What should be observed for optimal reward in POMDPs?","created":"2024-05-17","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":"2501.15767","title":"Formal Verification of Markov Processes with Learned Parameters","created":"2025-01-27","cited_by_count":1,"area":null},{"id":"2508.07790","title":"Best-Effort Policies for Robust Markov Decision Processes","created":"2025-08-11","cited_by_count":1,"area":null},{"id":"2605.01339","title":"Robust Parameter Learning for Uncertain MDPs","created":"2026-05-02","cited_by_count":1,"area":null},{"id":"2110.02125","title":"Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems","created":"2021-10-05","cited_by_count":0,"area":null},{"id":"2312.01249","title":"A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning","created":"2023-12-02","cited_by_count":0,"area":null},{"id":"2604.21256","title":"Robustness Analysis of POMDP Policies to Observation Perturbations","created":"2026-04-23","cited_by_count":0,"area":null},{"id":"2608.00374","title":"Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version)","created":"2026-08-01","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.00325","title":"Bellman-Certified Rounding for Sparse Policy Deployment in MDPs","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}