{"total":12,"rows":[{"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":"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":"2511.08078","title":"Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking","created":"2025-11-11","cited_by_count":2,"area":null},{"id":"2409.03260","title":"In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search","created":"2024-09-05","cited_by_count":1,"area":null},{"id":"2503.00788","title":"Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs","created":"2025-03-02","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":"2508.16345","title":"Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems","created":"2025-08-22","cited_by_count":1,"area":null},{"id":"2411.13365","title":"Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees","created":"2024-11-20","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":"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":"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}],"next_cursor":null}