{"total":26,"rows":[{"id":"2102.00582","title":"Multi-Agent Reinforcement Learning with Temporal Logic Specifications","created":"2021-02-01","cited_by_count":27,"area":null},{"id":"2206.09546","title":"Policy Optimization with Linear Temporal Logic Constraints","created":"2022-06-20","cited_by_count":19,"area":null},{"id":"2111.12679","title":"On the (In)Tractability of Reinforcement Learning for LTL Objectives","created":"2021-11-24","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":"2205.15827","title":"Robust Anytime Learning of Markov Decision Processes","created":"2022-05-31","cited_by_count":16,"area":null},{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16,"area":null},{"id":"2305.17115","title":"Policy Synthesis and Reinforcement Learning for Discounted LTL","created":"2023-05-26","cited_by_count":14,"area":null},{"id":"2110.12662","title":"Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise","created":"2021-10-25","cited_by_count":13,"area":null},{"id":"2303.05518","title":"Computably Continuous Reinforcement-Learning Objectives are PAC-learnable","created":"2023-03-09","cited_by_count":13,"area":null},{"id":"2310.12248","title":"A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs","created":"2023-10-18","cited_by_count":13,"area":null},{"id":"2303.05848","title":"Decision-Making Under Uncertainty: Beyond Probabilities","created":"2023-03-10","cited_by_count":9,"area":null},{"id":"2305.15979","title":"Monitoring Algorithmic Fairness","created":"2023-05-25","cited_by_count":8,"area":null},{"id":"2308.00341","title":"Monitoring Algorithmic Fairness under Partial Observations","created":"2023-08-01","cited_by_count":7,"area":null},{"id":"2408.03093","title":"Certifiably Robust Policies for Uncertain Parametric Environments","created":"2024-08-06","cited_by_count":7,"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":"2206.01465","title":"PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP","created":"2022-06-03","cited_by_count":4,"area":null},{"id":"2102.04307","title":"Learning Optimal Strategies for Temporal Tasks in Stochastic Games","created":"2021-02-08","cited_by_count":3,"area":null},{"id":"2404.05074","title":"On the Uniqueness of Solution for the Bellman Equation of LTL Objectives","created":"2024-04-07","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":"2303.12718","title":"Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access","created":"2023-03-22","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":"2211.12151","title":"Reinforcement Causal Structure Learning on Order Graph","created":"2022-11-22","cited_by_count":0,"area":null},{"id":"2507.03048","title":"Monitoring of Static Fairness","created":"2025-07-03","cited_by_count":0,"area":null},{"id":"2602.24191","title":"Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?","created":"2026-02-27","cited_by_count":0,"area":null},{"id":"2605.12262","title":"Missingness-MDPs: Bridging the Theory of Missing Data and POMDPs","created":"2026-05-12","cited_by_count":0,"area":null},{"id":"2606.29681","title":"Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees","created":"2026-06-29","cited_by_count":0,"area":null}],"next_cursor":null}