Cover Image

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Azeem, Muqsit, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan, Mohagheghi, Mohammadsadegh, Mohr, Stefanie, Weininger, Maximilian
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees
by: Azeem, Muqsit, et al.
Published: (2024)

Sound Value Iteration for Simple Stochastic Games
by: Azeem, Muqsit, et al.
Published: (2024)

Explaining Control Policies through Predicate Decision Diagrams
by: Chakraborty, Debraj, et al.
Published: (2025)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
by: Brihaye, Thomas, et al.
Published: (2025)

Sound Value Iteration for Simple Stochastic Games
by: Azeem, Muqsit, et al.
Published: (2025)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
by: Grover, Kush, et al.
Published: (2026)

Learning Algorithms for Verification of Markov Decision Processes
by: Brázdil, Tomáš, et al.
Published: (2024)

Monitizer: Automating Design and Evaluation of Neural Network Monitors
by: Azeem, Muqsit, et al.
Published: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
by: Bork, Alexander, et al.
Published: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
by: Grobelna, Marta, et al.
Published: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Best-Effort Policies for Robust Markov Decision Processes
by: Abate, Alessandro, et al.
Published: (2025)

Formal Quality Measures for Predictors in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
by: Meggendorfer, Tobias, et al.
Published: (2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

SemML 2.0: Synthesizing Controllers for LTL
by: Křetínský, Jan, et al.
Published: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2025)

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
by: Szekeres, Dániel, et al.
Published: (2024)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
by: Xu, Lyris, et al.
Published: (2025)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

Evidential Decision Theory via Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2023)

Differentially Private Reward Functions in Policy Synthesis for Markov Decision Processes
by: Benvenuti, Alexander, et al.
Published: (2023)

Logic of Fuzzy Paths
by: Grover, Kush, et al.
Published: (2026)

Quantum Markov Decision Processes: General Theory, Approximations, and Classes of Policies
by: Saldi, Naci, et al.
Published: (2024)

On Generalized Performance Evaluation and Generalized Controller Synthesis
by: Cao, Zining
Published: (2026)

CESAR: Control Envelope Synthesis via Angelic Refinements
by: Kabra, Aditi, et al.
Published: (2023)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
by: Schön, Oliver, et al.
Published: (2023)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Beyond Decisiveness of Infinite Markov Chains
by: Barbot, Benoît, et al.
Published: (2024)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
by: Chakraborty, Debraj, et al.
Published: (2026)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
by: Hsieh, Chiao, et al.
Published: (2025)

Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
by: Schönig, Stefan, et al.
Published: (2025)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
by: Bals, Severin, et al.
Published: (2023)

Absorbing Markov Decision Processes
by: Dufour, François, et al.
Published: (2023)