{"total":51,"rows":[{"id":"2204.00755","title":"Safe Reinforcement Learning via Shielding under Partial Observability","created":"2022-04-02","cited_by_count":56,"area":null},{"id":"2302.04634","title":"Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study","created":"2023-02-06","cited_by_count":18,"area":null},{"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":"2209.10341","title":"LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning","created":"2022-09-21","cited_by_count":11,"area":null},{"id":"2312.13912","title":"Solving Long-run Average Reward Robust MDPs via Stochastic Games","created":"2023-12-21","cited_by_count":10,"area":null},{"id":"2504.17180","title":"We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback","created":"2025-04-24","cited_by_count":10,"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":"2411.16718","title":"Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification","created":"2024-11-22","cited_by_count":9,"area":null},{"id":"2408.08770","title":"Pessimistic Iterative Planning with RNNs for Robust POMDPs","created":"2024-08-16","cited_by_count":7,"area":null},{"id":"2206.02653","title":"Abstraction-Refinement for Hierarchical Probabilistic Models","created":"2022-06-06","cited_by_count":6,"area":null},{"id":"2201.08772","title":"Under-Approximating Expected Total Rewards in POMDPs","created":"2022-01-21","cited_by_count":5,"area":null},{"id":"2202.03360","title":"Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components","created":"2022-02-07","cited_by_count":5,"area":null},{"id":"2212.05337","title":"Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking","created":"2022-12-10","cited_by_count":5,"area":null},{"id":"2410.18293","title":"1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization","created":"2024-10-23","cited_by_count":5,"area":null},{"id":"2401.07656","title":"Learning Explainable and Better Performing Representations of POMDP Strategies","created":"2024-01-15","cited_by_count":4,"area":null},{"id":"2405.03885","title":"Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games","created":"2024-05-06","cited_by_count":4,"area":null},{"id":"2104.03252","title":"Leaving Goals on the Pitch: Evaluating Decision Making in Soccer","created":"2021-04-07","cited_by_count":3,"area":null},{"id":"2501.03187","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","created":"2025-01-06","cited_by_count":3,"area":null},{"id":"2504.20942","title":"Scenario-based Compositional Verification of Autonomous Systems with Neural Perception","created":"2025-04-29","cited_by_count":3,"area":null},{"id":"2305.01473","title":"Efficient Sensitivity Analysis for Parametric Robust Markov Chains","created":"2023-05-01","cited_by_count":2,"area":null},{"id":"2305.05739","title":"Graph-Based Reductions for Parametric and Weighted MDPs","created":"2023-05-09","cited_by_count":2,"area":null},{"id":"2307.01532","title":"Analyzing Intentional Behavior in Autonomous Agents under Uncertainty","created":"2023-07-04","cited_by_count":2,"area":null},{"id":"2312.01959","title":"Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees","created":"2023-12-04","cited_by_count":2,"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.23143","title":"Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications","created":"2025-11-28","cited_by_count":2,"area":null},{"id":"2605.10888","title":"Shields to Guarantee Probabilistic Safety in MDPs","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2307.04503","title":"Deductive Controller Synthesis for Probabilistic Hyperproperties","created":"2023-07-10","cited_by_count":1,"area":null},{"id":"2308.07738","title":"Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods","created":"2023-08-15","cited_by_count":1,"area":null},{"id":"2506.17792","title":"Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement","created":"2025-06-21","cited_by_count":1,"area":null},{"id":"2509.18836","title":"Bounded PCTL Model Checking of Large Language Model Outputs","created":"2025-09-23","cited_by_count":1,"area":null},{"id":"2510.06756","title":"Verifying Memoryless Sequential Decision-making of Large Language Models","created":"2025-10-08","cited_by_count":1,"area":null},{"id":"2105.02099","title":"Efficient Strategy Synthesis for MDPs with Resource Constraints","created":"2021-05-05","cited_by_count":0,"area":null},{"id":"2204.12562","title":"On the Verification of Belief Programs","created":"2022-04-26","cited_by_count":0,"area":null},{"id":"2206.02169","title":"Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes","created":"2022-06-05","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":"2305.10051","title":"Finding an $\\epsilon$-close Variation of Parameters in Bayesian Networks","created":"2023-05-17","cited_by_count":0,"area":null},{"id":"2308.02519","title":"Improving Probabilistic Bisimulation for MDPs Using Machine Learning","created":"2023-07-30","cited_by_count":0,"area":null},{"id":"2411.05599","title":"Expectation vs. Reality: Towards Verification of Psychological Games","created":"2024-11-08","cited_by_count":0,"area":null},{"id":"2411.14374","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","created":"2024-11-21","cited_by_count":0,"area":null},{"id":"2505.06769","title":"Value Iteration with Guessing for Markov Chains and Markov Decision Processes","created":"2025-05-10","cited_by_count":0,"area":null},{"id":"2510.06512","title":"LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval","created":"2025-10-07","cited_by_count":0,"area":null},{"id":"2512.17470","title":"Translating the Rashomon Effect to Sequential Decision-Making Tasks","created":"2025-12-19","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":"2605.14440","title":"Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning","created":"2026-05-14","cited_by_count":0,"area":null},{"id":"2605.22364","title":"Scaling Observation-aware Planning in Uncertain Domains","created":"2026-05-21","cited_by_count":0,"area":null},{"id":"2607.25925","title":"dtControl2+$\\varepsilon$: Trading Optimality for Explainability in MDPs via Decision Trees","created":"2026-07-28","cited_by_count":0,"area":null},{"id":"2607.26787","title":"Property-driven Causal Abstractions for Markov Decision Processes","created":"2026-07-29","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":"2608.02184","title":"PAC Approximation and DIRECT Optimization for Parametric Markov Models","created":"2026-08-03","cited_by_count":0,"area":null},{"id":"2608.30581","title":"Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle","created":"2026-08-31","cited_by_count":0,"area":null},{"id":"2610.17541","title":"Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}