{"total":27,"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":"2209.07133","title":"COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking","created":"2022-09-15","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":"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":"2206.02653","title":"Abstraction-Refinement for Hierarchical Probabilistic Models","created":"2022-06-06","cited_by_count":6,"area":null},{"id":"2103.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","cited_by_count":5,"area":null},{"id":"2201.08772","title":"Under-Approximating Expected Total Rewards in POMDPs","created":"2022-01-21","cited_by_count":5,"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":"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":"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":"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":"2102.04307","title":"Learning Optimal Strategies for Temporal Tasks in Stochastic Games","created":"2021-02-08","cited_by_count":3,"area":null},{"id":"2304.09930","title":"Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives","created":"2023-04-19","cited_by_count":3,"area":null},{"id":"2311.17059","title":"Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications","created":"2023-11-28","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":"2101.10284","title":"Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata","created":"2021-01-25","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":"2303.12718","title":"Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access","created":"2023-03-22","cited_by_count":1,"area":null},{"id":"2308.07930","title":"Probabilistic Black-Box Checking via Active MDP Learning","created":"2023-07-15","cited_by_count":1,"area":null},{"id":"2508.15454","title":"Mini-Batch Robustness Verification of Deep Neural Networks","created":"2025-08-21","cited_by_count":1,"area":null},{"id":"2604.01855","title":"Efficient Constraint Generation for Stochastic Shortest Path Problems","created":"2026-04-02","cited_by_count":1,"area":null},{"id":"2401.14636","title":"Efficient Constraint Generation for Stochastic Shortest Path Problems","created":"2024-01-26","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":"2505.21087","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","created":"2025-05-27","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}],"next_cursor":null}