{"total":28,"rows":[{"id":"2212.01861","title":"Online Shielding for Reinforcement Learning","created":"2022-12-04","cited_by_count":22,"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":"2101.07202","title":"dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts","created":"2021-01-15","cited_by_count":14,"area":null},{"id":"2107.00108","title":"Convex Optimization for Parameter Synthesis in MDPs","created":"2021-06-30","cited_by_count":8,"area":null},{"id":"2303.08476","title":"Bayesian Learning for the Robust Verification of Autonomous Robots","created":"2023-03-15","cited_by_count":6,"area":null},{"id":"2208.12804","title":"Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces","created":"2022-08-26","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":"2105.14371","title":"Fine-Tuning the Odds in Bayesian Networks","created":"2021-05-29","cited_by_count":3,"area":null},{"id":"2109.06523","title":"Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking","created":"2021-09-14","cited_by_count":3,"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":"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":"2101.12683","title":"Inductive Synthesis for Probabilistic Programs Reaches New Horizons","created":"2021-01-29","cited_by_count":2,"area":null},{"id":"2106.11735","title":"Lifted Model Checking for Relational MDPs","created":"2021-06-22","cited_by_count":2,"area":null},{"id":"2110.03014","title":"Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)","created":"2021-10-06","cited_by_count":2,"area":null},{"id":"2102.01434","title":"An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors","created":"2021-02-02","cited_by_count":1,"area":null},{"id":"2203.06290","title":"SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods","created":"2022-03-12","cited_by_count":1,"area":null},{"id":"2406.07340","title":"Formally Verified Approximate Policy Iteration","created":"2024-06-11","cited_by_count":1,"area":null},{"id":"2503.06420","title":"Explaining Control Policies through Predicate Decision Diagrams","created":"2025-03-09","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":"2209.02672","title":"Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*","created":"2022-09-06","cited_by_count":0,"area":null},{"id":"2302.08588","title":"MM Algorithms to Estimate Parameters in Continuous-time Markov Chains","created":"2023-02-16","cited_by_count":0,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2504.17020","title":"Analyzing Value Functions of States in Parametric Markov Chains","created":"2025-04-23","cited_by_count":0,"area":null},{"id":"2506.23773","title":"BayesL: a Logical Framework for the Verification of Bayesian Networks","created":"2025-06-30","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":"2605.31524","title":"Value Functions as Supermartingale Certificates","created":"2026-05-29","cited_by_count":0,"area":null},{"id":"2608.03489","title":"Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification","created":"2026-08-04","cited_by_count":0,"area":null},{"id":"2609.23239","title":"SoK: Formal Methods for Fact-Checking and Information Integrity","created":"2026-09-19","cited_by_count":0,"area":null}],"next_cursor":null}